Unnecessary RankNTypes

Just happened to notice this in passing.