'n->k' in 'DiscreteDistribution'
Fixed compilation error after removing 'Algebra.Monoid'