Monad
hamsters
MonadTransformers
hamsters
Monoid
hamsters
map
EitherT
Functor
HCons
HList
HNil
OptionT
OKBiasedEither
meta
scala