Clif.Basis
class Basis b a
data Euclidean a
data Lorentzian a
orthoMul
nonOrthoMul
freeMul
orderOrthoBasis
orderBasis