structural type

f bounded polymorphism

self types

literal, union, intersection types

opaque types

path-dependent types

type members

variance positions

variance

advanced inheritance