{-# htermination range :: (Char,Char) -> [Char] #-}