Add a generator in the IO monad.
Just depend on base, as that varies with ghc version.
Neaten up the mix function slightly.
Add an implementation of the Tyche-i algorithm from the paper.