Probability distribution for composition of operations

Stream: Is there code for X?

[Martin Dvořák]

I have a probability distribution over A → A and I would like to get a probability distribution for its composition with itself (I compose a random operation with another random operation — what is the probability for the resulting operation?).

[Yaël Dillies]

That sounds like a good use for the putative Measure.map₂, @Yury G. Kudryashov

[Yaël Dillies]

Currently, you can get it by doing (μ.prod μ).map fun (f, g) ↦ f ∘ g, where μ : Measure (A → A) is your distribution.

[Yury G. Kudryashov]

Note: adding Measure.map₂ is not on my TODO list. Mostly because the list is already too long.

[Yury G. Kudryashov]

If someone else implements it, then I'll be happy to review it.