3 :> 4 :> 5 :> Nil :: Num a => Vec 3 a