{-# htermination isAlpha :: Char -> Bool #-}