Expose more of the generator interface
Default generator input to void
Rename generator-monad to gen-state-monad
Define gen-monad
Define gen-catch and gen-handle
Fix gen-monad

Obey right identity.