Monoidal Functors A monoidal functor is a functor between monoidal categories that preserves the monoidal structure. This library encodes monoidal functors and related structures in Haskell.