(^) = flip Exp. monoid objects. ap for all monoidal functors between CCCs
scattered the fixities to make it easier to comment out parts of the
file