Module traits
hcomplex
Some algebra over real numbers (e.g. Float, Complex, Quaternion)
Something that can be conjugated
Square absolute value