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

Data types

Module Data types
arrow.core Const, 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

Type Class Hierarchy