冪級数
Power series indexed by a graded monoid.