pub fn len_sq<T>(v: &[T; 2]) -> Twhere T: Add<T, Output = T>, for<'a, 'b> &'a T: Mul<&'b T, Output = T>,
assert_eq!(vec2::len_sq::<f32>(&vec2::new_one()), 2_f32);