2 Test.f :: for all d, e, f, g. [d] -> (e, f) -> Bool -> [g]
4 /\ t106 o107 o108 t113 -> \ ds.122 y.123 ds.124 ->
8 "\"ds003.hs\", line 8: pattern-matching failure [function binding]\n"S in
18 let x.127 = ds.122 in Nil! t113
32 MkTuple2 y.136 ys.137 -> y.136
37 MkTuple2 y.139 ys.140 -> ys.140
48 MkTuple2 y.143 ys.144 ->
49 let z.146 = let z.145 = ds.124 in z.145 in
50 let a.147 = y.123 in let x.148 = ds.122 in Nil! t113