On Nov 17, 2006, at 5:40 PM, Duncan Coutts wrote: > I'd certainly support that. Am I right in thinking that it'd allow > Data.Set to be made an instance of Monad, because the Ord constraint > would be available in the body of the bind method? return is still a problem, because there is no Ord constraint there. Spencer Janssen