///|
traitalias @lg.(One, Zero, AddMonoid, Semiring, Ring)