Pick a level.

interfaces, any/never, generics, classes, ?., ??, !.

utility types, narrowing, practical typing patterns

conditional, mapped, modifiers, infer, template literals

HOFs, currying, pipe/compose, monads (Maybe/Either)

hooks, props, events, context, generic components