Scalaz 7 typeclass hierarchy
Applicative
Apply
Functor
Arrow
Category
Compose
Bind
Bitraverse
Bifunctor
Bifoldable
Choice
Cobind
Cojoin
Comonad
ComonadStore
Distributive
Enum
Order
Equal
Monoid
Monad
ApplicativePlus
PlusEmpty
Plus
MonadPlus
MonadReader
MonadState
Semigroup
Split
Traverse
Foldable
Zip
Profunctor
Contravariant
Foldable1
IsEmpty
MonadListen
MonadTell
Nondeterminism
Traverse1