{-# htermination fail :: String -> Maybe a #-}