- Fantasy Land
- Static Land
- Daggy
- Type Signatures
- Setoid
- equals
- Ord
- lte
- Semigroupoid
- compose
- Category
- id
- Semigroup
- concat
- Monoid
- empty
- Group
- invert
- Filterable
- filter
- Functor
- map
- Contravariant
- contramap
- Apply
- ap
- Applicative
- of
- Alt
- alt
- Plus
- zero
- Alternative
- Foldable
- reduce
- Traversable
- traverse
- Chain
- chain
- ChainRec
- chainRec
- Monad
- Extend
- extend
- Comonad
- extract
- Bifunctor
- bimap
- Profunctor
- promap