6 main = "Not to be executed"
8 3:1-3:2: Possible problem: type declaration has 1 parameter types, but function definition has 2 parameters.
9 4:6-4:11: Arity is 1 but 2 patterns have been given.
13 f :: Integer -> Integer -> <Proc> Integer
18 main = "Not to be executed"
20 3:1-3:2: Possible problem: type declaration has 2 parameter types, but function definition has 1 parameters.
21 5:5-5:12: No side-effects allowed here.
22 6:5-6:6: Expected <Integer -> <Proc> Integer> got <Integer>.