Add RankNTypes extension to fix a compilation error.
Simplify examples a bit.
Merge pull request #1 from Raynes/master

Fix a compilation error and simplify some examples