ParanoidRead.hs

import Data.Typeable (Typeable, typeRep)
import Data.Proxy (Proxy (..))
import Text.Read (readMaybe)
import GHC.Stack (HasCallStack)

import Prelude hiding (read)

read :: forall a. (Typeable a, Read a, HasCallStack) => String -> a
read s = case readMaybe s of
    Just x  -> x
    Nothing -> error
        $ showString "read @" . showsPrec 11 (typeRep (Proxy :: Proxy a)) 
        . showChar ' '        . showsPrec 11 s
        $ ""