How to express existential types using higher rank (rank-N) type polymorphism?

How to express existential types using higher rank (rank-N) type
polymorphism?

References

Reference NO 1

http://stackoverflow.com/questions/13653532/how-to-express-existential-types-using-higher-rank-rank-n-type-polymorphism

Reference NO 2

http://stackoverflow.com/questions/17842501/special-cases-in-handling-of-higher-rank-types-in-ghc

Reference NO 3

http://research.microsoft.com/~simonpj/papers/higher-rank/putting.pdf

Reference NO 4

http://www.cs.rutgers.edu/~ccshan/cs252/usage.pdf

Reference NO 5

http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/other-type-extensions.html

Reference NO 6

http://en.wikipedia.org/wiki/Type_system

Reference NO 7

http://okmij.org/ftp/Computation/lightweight-dependent-typing.html

Reference NO 8

#EANF#