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