[Haskell-cafe] arbitrary rank polymorphism and ghc language pragmas

[Francesco Mazzoli]

At Thu, 05 Jul 2012 11:18:00 -0400,
rickmurphy  wrote:
> data T = TC (forall a b. a -> b -> a)

The type of `TC' will be `(forall a b. a -> b -> a) -> T', a Rank-2
type.

--
Francesco * Often in error, never in doubt