Typeclass Laws for Typeclasses on Parameterized Types

See Also

1. Effect-ts Typeclasses.
2. Laws
   1. Alternative laws.
   2. Applicative laws.
   3. Bicovariant laws. Called Bifunctor laws here.
   4. Contravariant laws.
   5. Covariant laws. Note these are called Functor Laws at the Typeclassopedia.
   6. Monad laws.
   7. Traversable laws.