ClosedMonoidalCategories just want to be symmetric...