On Mon, 16 Oct 2006, Jón Fairbairn <jon.fairbairn at cl.cam.ac.uk> wrote: > I made a more concrete proposal later and Phil Wadler tidied it up. > I think It even got as far as a draft of the language, [...] Do you know where this proposal/draft can be found? -- /NAD