That is pretty neat. Does it mean that one could do something similar for vectors and quaternions?
let open Quaternion in
x * y + x let open Quaternion in
x * y + x module Quaternion = struct
let (+) =
...
let ( * ) =
...
end
let open Quaternion in
x * y + z