22 Aug
2016
22 Aug
'16
6:29 a.m.
just came across this: https://downloads.haskell.org/~ghc/7.0.3/docs/html/users_guide/data-type-ext... this seems to work: ExistentialQuantification Rank2Types type T' = forall a b. (T a b)