Bernoulli trial with success probability p.

Output True with probability p, False with probability 1-p.

Discrete uniform distribution over a finite list.

Geometric distribution counting failures before the first success.

Implemented as a terminating traceEK over an effectful Bernoulli body. Each recursive iteration performs an IO sample, so the trace is productive and returns a value with probability 1 (for 0 < p <= 1).

Body of the geometric sampler.

Input: Left () on first call, Right n on recursive calls where n is the current failure count. Output: Right k terminates with final count k; Left k continues with count k.

Extract a single sample from a sampler by using the output itself as the dualizing object.