Why doesn't the same idea of adding a type keyword work there too?

a, b := w<type x,y>(z)