3 Ambiguous type variable(s) `t' in the constraint `Num [t]'
4 arising from the literal `2' at tcfail008.hs:3
5 In the second argument of `:', namely `2'
6 In the right-hand side of a pattern binding: 1 : 2
9 Ambiguous type variable(s) `t' in the constraint `Num t'
10 arising from the literal `1' at tcfail008.hs:3
11 In the first argument of `:', namely `1'
12 In the right-hand side of a pattern binding: 1 : 2
14 Compilation had errors