- | Component-wise multiply vectors, @v0 * v1@.
mult3 :: T -> T -> T
mult3 (V3 x0 y0 z0) (V3 x1 y1 z1) =
  V3 (x0 * x1) (y0 * y1) (z0 * z1)

mult3 :: T -> T -> T
mult3 (V3 x0 y0 z0) (V3 x1 y1 z1) =
  V3 (x0 * x1) (y0 * y1) (z0 * z1)
mult3 (V3 x0 y0 z0) (V3 x1 y1 z1) =
  V3 (x0 * x1) (y0 * y1) (z0 * z1)