# `Gen` monad internals

:::{todo}

- On how `Gen` monad internals.
- Generalised generation with random seed.
- Specialised cases for `pure` and `empty`.
- Fusion during `map`, `<*>` and `>>=`.

:::