# `Gen` monad

:::{todo}
Technical description of the `Gen` monad
:::