<div dir="ltr">just came across this:<div><br></div><div><a href="https://downloads.haskell.org/~ghc/7.0.3/docs/html/users_guide/data-type-extensions.html">https://downloads.haskell.org/~ghc/7.0.3/docs/html/users_guide/data-type-extensions.html</a></div><div><br></div><div>this seems to work:</div><div><div> ExistentialQuantification </div><div> Rank2Types</div>​</div><div><div>type T' = forall a b. (T a b)</div></div><div><br></div></div>