pub(open) trait AddGroup : AddMonoid + Neg {
}

pub(open) trait AddMonoid : Add + Zero {
}

pub(open) trait Conjugate {
  conjugate(Self) -> Self
}

pub(open) trait Inverse {
  inv(Self) -> Self
}

pub(open) trait MulGroup : MulMonoid + Inverse {
}

pub(open) trait MulMonoid : Mul + One {
}

pub(open) trait Num : Ring {
  abs(Self) -> Self
  signum(Self) -> Self
}

pub(open) trait One {
  one() -> Self
}

pub(open) trait Ring : Semiring + Neg {
}

pub(open) trait Semiring : AddMonoid + MulMonoid {
}

pub(open) trait Zero {
  zero() -> Self
}