Rank 2 and rank n types enable explicit forall syntax