Create demos for all monad types.