TFW each slide could be an entire talk, and there are a *lot* of slides.

F-algebras and type fixpoint in C++26 for recursive types like expression trees is almost a drive by example.

But, by Crom, I have Traversable, which is what Applicative is for. And open extension and retro-fit.