Type Definition Quaternion
hcomplex
type Quaternion<T> = Construct<T, Complex<T>>;
4-dimensional associative but non-commutative algebra