/caterwaul/Monoid/Commutative/Type
Copy path to clipboardA commutative monoid implies a preorder. However, that currently forces us into Set, so we instead just alias the non-commutative type to avoid specializing.
Source
{-|
A commutative monoid implies a preorder. However, that currently forces us into
**Set**, so we instead just alias the non-commutative type to avoid specializing.
-}
../Type