Adding start of dot writer monad