2 Test.f :: for all d. d -> d
3 Test.f = /\ o88 -> \ x.104 -> x.104
4 Test.g :: for all d, e, f. d -> e -> f -> f
6 /\ o97 o98 t102 -> \ x.106 y.107 z.108 ->
10 "\"ds002.hs\", line 16: pattern-matching failure [function binding]\n"S
11 in (Test.f t102) z.108