Expand description
Type classes defining shared behavior across different types.
This module includes traits for common functional programming abstractions
such as Functor, Monad, Applicative, and others.
Higher-kinded type classes (those with arities > 0, e.g., functor::Functor,
which has arity 1) are usually implemented by
Brand types, which are higher-kinded (arities > 0)
representation of types, instead of directly by concrete
types (which have arity 0).