Enable ImpredicativeTypes to placate GHC 7.8.

I get a "Cannot instantiate unification variable" error otherwise.