- Alt
- Alternative
- Applicative
- Apply
- Array
- Bifunctor
- Category
- Chain
- ChainRec
- Comonad
- Console
- Const
- Contravariant
- Either
- EitherT
- Exception
- Extend
- Field
- Foldable
- Free
- function
- Functor
- HKT
- Identity
- Invariant
- IO
- IxIO
- IxMonad
- Monad
- Monoid
- Monoidal
- NonEmptyArray
- Option
- OptionT
- Ord
- Ordering
- Pair
- Plus
- Profunctor
- Random
- Reader
- ReaderT
- Ring
- Semigroup
- Semigroupoid
- Semiring
- Setoid
- State
- StateT
- Store
- StrMap
- Task
- TaskEither
- These
- Trace
- Traversable
- Tuple
- Unfoldable
- Validation
- Writer