On 9/16/07, Bas van Dijk <v.dijk.bas at gmail.com> wrote: > The following uses type families (functions) and compiles under GHC HEAD: > ... Oops this is not correct! Its getting late... oh well Bas