ChainTimeSeries
timeSeries
commutativeCombineK
TimeSeriesLaws