Add a "forall" quantifier before rank-n-types

This is for compatibility with GHC Trac #4426
Merge pull request #4 from monoidal/patch-1

Add a "forall" quantifier before rank-n-types