Am Dienstag, 22. November 2005 11:39 schrieb Keean Schupke: > [...] > This seems to suggest: > > Add a == exists (add :: a -> a -> a)
Doesn't "exists" normally quantify over types and not over values? > [...] Best wishes, Wolfgang _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe