///|
traitalias @lg.(AddMonoid, Num)