Power series
Power series indexed by a graded monoid.