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

Imants Cekusins imantc at gmail.com
Mon Aug 22 10:29:14 UTC 2016


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>


More information about the Beginners mailing list