Tricky parametric type dispatch

I didn’t want the type parameters included as I would like to modify them, in my case call T{F,NT+NS}.