{-# htermination toLower :: Char -> Char #-}