| definition: |
class Monad m => MonadFail m where fail :: String -> m a |
| documentation: |
--- The class `MonadFail` adds a `fail` operation to a monadic structure. |
| methods: |
["fail :: [Char] -> a b"] |
| name: |
MonadFail |