Zero
rules
ZeroFunctor
Functors
ZeroMonad
Monads
zero
Zero