More work on RankNTypes