module Data.Fail where

import Data.String

class Fail f where
    fail :: String -> f a