fail now have type MonadFail m => String -> m a instead of Monad m => String -> m a
MonadFail m => String -> m a
Monad m => String -> m a