SemigroupK

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

Data types

Module Data types
arrow.core Either, ListK, NonEmptyList, Option, SequenceK, SetK, Validated
arrow.mtl EitherT, OptionT, StateT, WriterT

Type Class Hierarchy