started development writer monad