- | Dot product of @v0@ and @v1@.
dot3 :: T -> T -> Float
dot3 v0 v1 =
  case mult3 v0 v1 of
    V3 x y z -> x + y + z

-- | The squared magnitude of the @v = 'dot3' v v@.

dot3 :: T -> T -> Float
dot3 v0 v1 =
  case mult3 v0 v1 of
    V3 x y z -> x + y + z

-- | The squared magnitude of the @v = 'dot3' v v@.
dot3 v0 v1 =
  case mult3 v0 v1 of
    V3 x y z -> x + y + z

-- | The squared magnitude of the @v = 'dot3' v v@.