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

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

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

pub(open) trait Field : Ring + Inverse + Div {
}

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

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

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 + Sub {
}

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

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