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