Typeclasses and vectors