{-# htermination fail :: Monad m => String -> m a #-}