2 Test.f :: for all d, e. <Eq d> -> d -> d -> d -> [e]
4 /\ t86 t91 -> \ dict.87 ->
5 let dict.83 = dict.87 in
12 "\"ds021.hs\", line 8: pattern-matching failure [function binding]\n"S
14 case ((== t86) dict.83 x.61 y.62) of {
17 case ((/= t86) dict.87 x.61 z.63) of {