higher-ranked type