Type Definition Complex
hcomplex
type Complex<T> = Construct<T, T>;
2-dimensional commutative and associative algebra