Monad
fp
MonadLaw
Monad
Monoid
fp
MonoidLaw
Monoid
map
Applicative EitherT Functor Monad WriterT EitherCompat RightBiasedEither
mapWritten
WriterT
mappend
SemiGroupOps
maybeB
ToEither
monadLaw
Monad
monoidLaw
Monoid