Haskell Language Arbitrary-rank polymorphism with RankNTypes RankNTypes


Example

StackOverflow forces me to have one example. If this topic is approved, we should move this example here.