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

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