2 Test.f :: for all d, e, f, g, h, i, j. (d, e, f) -> (g, h) -> i -> [j]
4 /\ o105 o106 o107 o112 o113 o114 t115 -> \ ds.121 i.122 o.123 ->
8 "\"ds019.hs\", line 8: pattern-matching failure [function binding]\n"S in
16 MkTuple2 m.125 n.126 ->
18 let h.128 = ds.121 in Nil! t115
22 MkTuple3 e.130 f.131 g.132 ->
23 let q.133 = o.123 in let l.134 = i.122 in Nil! t115
27 MkTuple2 j.136 k.137 ->
28 let p.138 = o.123 in let d.139 = ds.121 in Nil! t115
32 MkTuple3 a.141 b.142 c.143 -> Nil! t115