Slightly better explanation of rank-2 types