adds maybe monad example
random with state monad to generate strictly monotonically increasing sequence
clean todo