>>> exitFailure *** Exception: ExitFailure 1
>>> exitSuccess *** Exception: ExitSuccess
mzero >>= f = mzero v >> mzero = mzero
mzero = empty