Higher-order subtyping with intersection types door A.B. Compagnoni