3 Test.nodups :: for all d. <Eq d> -> [d] -> [d]
5 /\ t95 -> \ dict.90 ds.103 ->
9 "\"ds004.hs\", line 9: pattern-matching failure [function binding]\n"S
15 Nil -> :! t95 x.105 (Nil! t95)
19 case ((== t95) dict.90 y.109 x.107) of {
21 (Test.nodups t95) dict.90 ((: t95) x.107 xs.108)
26 dict.90 ((: t95) x.107 xs.108))