Functor ((:-) f), Monoidal ((:-) f)