Control.Monad.Fail
Intro
Failing monad
data
FailT
e m a
runFailC
runFailI
Helper functions
mfail
mwarn