A monoidal functor is a functor between monoidal categories that preserves the monoidal structure.

This library encodes monoidal functors and related structures in Haskell.