Koen Claessen wrote: > And instead of: > > mapSet, emptySet, ... > > We have: > > Set.map, Set.empty, ... > > This is how Chris does it in Edison. and Daan Leijen in DData: http://www.cs.uu.nl/~daan/ddata.html Christian (Well, Set.map is actually missing there)