The MonoidK.Instance
provides the means to combine
MonoidK instances with other type-classes.
The MonoidK.Instance
provides the means to combine
MonoidK instances with other type-classes.
To be inherited by MonoidK
instances.
Laws for MonoidK.
The MonoidK.Type
should be inherited in type-classes that
are derived from MonoidK.