Rank2Types for 7.6.2 compatibility