GHCi gives type
> :t add1 (read "1.5")
add1 (read "1.5") :: (Read a, Num a) => a
, . GHCi print ed, GHCi a. GHCi a = Integer. , ( , ) (, String), (, "1.5"). Integer Read, Num, .
GHCi (), Integer, Double - , default.
> add1 (read "1.5") :: Integer
*** Exception: Prelude.read: no parse
. :
> add1 (read "1.5") :: Float
2.5