On Fri, Oct 3, 2008 at 1:38 PM, Ross Paterson <ross at soi.city.ac.uk> wrote: > I was specifically excluding type-level and parameterized-data for some > reason that I can't remember. So I've stopped. Thanks.