a :: Integer
a = a

id :: Integer -> Integer
id x = x

b = id a a
--
7:5-7:11: Function of arity 1 is applied with 2 parameters.