In article <20031113054018.GA5577 at eecs.harvard.edu>, Ken Shan <ken at digitas.harvard.edu> wrote: > Just today (and not > only today) I wanted to write instance definitions like > > instance (forall a. C a => D a) => E [a] where ... I've wanted this for awhile, in both class and instance declarations. -- Ashley Yakeley, Seattle WA