4 for all a, b. (a -> a -> a, b -> b -> b) -> (a, b) -> [(a, b)] -> (a, b)
6 /\ a b -> \ fg.122 ab.123 ds.124 ->
10 "\"ds031.hs\", line 4: pattern-matching failure [function binding]\n"S in
14 MkTuple2 f.126 g.127 ->
18 MkTuple2 a.130 b.131 ->
19 let ab.132 = ab.123 in
20 let fg.133 = fg.122 in
24 fg.133 ab.132 abs.129 in
28 MkTuple2 u.135 v.136 -> u.135
33 MkTuple2 u.138 v.139 -> v.139