just came across this:

https://downloads.haskell.org/~ghc/7.0.3/docs/html/users_guide/data-type-extensions.html

this seems to work:

ExistentialQuantification

Rank2Types

type T' = forall a b. (T a b)