3 MapPairs.mappairs :: for all d, e, f. (d -> e -> f) -> [d] -> [e] -> [f]
5 /\ t109 t112 t105 -> \ f.146 ds.147 ys.148 ->
9 "\"ds005.hs\", line 10: pattern-matching failure [function binding]\n"S
15 Nil -> let f.152 = f.146 in Nil! t105
17 let xs.155 = xs.151 in
23 ((((MapPairs.mappairs t109) t112) t105)
29 MapPairs.mappairs' :: for all d, e, f. (d -> e -> f) -> [d] -> [e] -> [f]
31 /\ t133 t136 t129 -> \ f.162 ds.163 ys.164 ->
35 "\"ds005.hs\", line 15: pattern-matching failure [function binding]\n"S in
48 ((((MapPairs.mappairs' t133) t136) t129)
56 Nil -> let x.172 = ds.163 in let f.173 = f.162 in Nil! t129