added RankNTypes example