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