Add RankNTypes extension to fix a compilation error.
Simplify examples a bit.