a :: Double
a = a

id :: Integer -> Integer
id x = x

b = id a
--
7:8-7:9: Expected <Integer> got <Double>.