[Haskell-beginners] type T' = T a b c

[Imants Cekusins]

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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20160822/3181e359/attachment.html>