Combinatorial Type Explosion: Nested Parameteric Types

There is one example here: Macro to write function with many conditionals - #8 by Skoffer

That macro is a very instructive example, imo

Yes, that was the original motivation of that macro by the way.

3 Likes