Matching any vector in function dispatch

Subtyping with parametric types is slightly counter-intuitive. Take a look at

4 Likes