幂级数
Power series indexed by a graded monoid.