I just realized that this proposal depends heavily on the ScopedTypeVariables language extension. This could be problematic. Are ScopedTypeVariables in Haskell 2010? If not, are there any plans of putting it in Haskell 2011? Regards, Bas