{-# htermination read :: Read a => String -> a #-}