Data Types

• Chain

• Const

• ContT

• Either

• EitherT

• Eval

• FreeApplicatives

• FreeMonads

• FunctionK

• Id

• Ior

• IorT

• Kleisli

• NonEmptyList

• Nested

• OneAnd

• OptionT

• State

• Validated

• Writer

• WriterT