Namespace TypeClass

AbelianGroup AbelianMonoid Applicative Apply Arrow Associative Bifoldable Bifunctor Bitraversable Category Choice Comonad Conjoined Distributive Endo Eq ErrorMonad Field FlatMap Foldable Functor Group HasInf HasNegInf Hash Indexable Indexed Iso Magma Monad MonadRec Monoid Monoidal Nt Ord PartialEq PartialOrd Profunctor Pure Reduce Representable Reviewable Ring SemiGroup SemiGroupal SemiGroupoid SemiRing Settable Strong Symmetric Tensor Traversable Unital Variance