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