MonoidK

intermediate

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

Data types

Module Data types
arrow.core ListK, Option, SequenceK, SetK
arrow.mtl OptionT, StateT, WriterT

Type Class Hierarchy