More often I find myself wanting to enable ScopedTypeVariables, not RankNTypes.
ScopedTypeVariables
RankNTypes