Haddocks say:
This library doesn't provide Monoidal class, with left and right unitors. Are they useful in practice?
In this blog post, I was forced to use Control.Category.Monoidal.Monoidal because unitors were unavailable in assoc. They would've been handy when trying to write a generalisation of Applicative and Divisible.
Haddocks say:
In this blog post, I was forced to use
Control.Category.Monoidal.Monoidalbecause unitors were unavailable inassoc. They would've been handy when trying to write a generalisation ofApplicativeandDivisible.