Am Donnerstag, 2. Februar 2006 21:48 schrieb Mads Lindstrøm: > [...] > Also what the type synonym is synonym for, may not have any name and > thus properly not be telling at all, as in: > > type TellingName a = \a -> String What is \a -> String? > /Mads Lindstrøm Best wishes, Wolfgang