Add monoidal instances for cartesian and endofunctor categories