But it's not template magic. Not even something close.

It's just nested generic types.

How would you otherwise express all the constrains in a type?