more powerful method matching
return concrete type for vector literal