Data combinator for creating an undeterministic parametric state machine, suitible to compose complex statefull computations.