id (x :: Integer) = x

main = id "foo"
--
3:11-3:16: Expected <Integer> got <String>.