3 Main.map :: for all d, e. (d -> e) -> [d] -> [e]
5 /\ t88 t84 -> \ f.100 ds.101 ->
9 "\"ds028.hs\", line 7: pattern-matching failure [function binding]\n"S
15 in (: t84) (f.105 x.103) (((Main.map t88) t84) f.105 xs.104)
18 Main.|| :: Bool -> Bool -> Bool
24 "\"ds028.hs\", line 10: pattern-matching failure [function binding]\n"S
28 False -> let x.112 = ds.110 in x.112