Monad
shims
MonadRec
shims
Monoid
shims
map
Functor
EitherSyntax
materialize
=/=
NegMacros