zero
rules
Zero
ZeroFunctor
Functors
ZeroMonad
Monads