Why do we need 3 Vector3 types?

[worktycho]

Only Haskell does need to know about templates. Otherwise what is the type of this where foo is the c++ method from my previous post?

Code:

func x f = foo $ f x