Higher-order subtyping | lit.salon