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