*Figuring out SFINAE for TypeModifier