- Algorithms in the standard library
- Function objects in C++, callables and std::invoke
- Lazy evaluation, lazy algorithms and ranges
- Creating new language constructs on the library level
- Removing invalid program states with sum types and std::variant
- Generic programming and template constraints using void_t
- Handling errors with optional<T> and expected<T, E>
- Monad composition