This looks insane, mostly because there must be some repeated code in all these impls. The D way of solving this is to statically query the properties of the p

This looks insane, mostly because there must be some repeated code in all these impls. The D way of solving this is to statically query the properties of the passed in type at compile time whenever a part of the template needs to be specialized. It can make for very concise code, but you can't name the exact input type with this approach.