Interface ActionSequenceArbitrary<M>