22 Aug
2016
22 Aug
'16
12:29 p.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)