Typeclass Laws for Typeclasses on Concrete Types

These are typeclasses with a concrete underlying type.

See Also

1. Effect-ts Typeclasses.
2. Laws
   1. Equivalence laws.
   2. Order laws.
   3. Semigroup laws.
   4. Monoid law.