TODO. Meanwhile you can find a short description in the intro to typeclasses.

Data types

Module Data types
arrow.core Either, Id, Ior, ListK, MapK, NonEmptyList, Option, SequenceK, Try, Tuple2, Validated Free
arrow.fx.reactor FluxK
arrow.fx.rx2 FlowableK, ObservableK
arrow.mtl EitherT, OptionT
arrow.recursion.pattern CofreeF, FreeF, ListF, NonEmptyListF
arrow.typeclasses Const

Type Class Hierarchy