<interactive>:1:0:
No instance for (Num (t -> t))
arising from a use of `*' at <interactive>:1:0-8
Possible fix: add an instance declaration for (Num (t -> t))
In the expression: (+) 1 * 3 2
In the definition of `it': it = (+) 1 * 3 2
<interactive>:1:6:
No instance for (Num (t1 -> t -> t))
arising from the literal `3' at <interactive>:1:6-8
Possible fix: add an instance declaration for (Num (t1 -> t -> t))
In the second argument of `(*)', namely `3 2'
In the expression: (+) 1 * 3 2
In the definition of `it': it = (+) 1 * 3 2
Prelude>
Name:
Anonymous2012-01-09 8:53
>>16
type system means mathematics, theorems, rules and self-imposed restriction. harmful stuff.