Control.Monad.Fail.Compat