///|
using @lg {
  trait AddGroup,
  trait AddMonoid,
  trait Conjugate,
  trait Field,
  trait Inverse,
  trait MulGroup,
  trait MulMonoid,
  trait One,
  trait Ring,
  trait Semiring,
  trait Zero,
}