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