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