Fix return type of do, should return monadic value.
Comment and clarify examples.