{-# htermination reads :: Read a => String -> [([a],String)] #-}