first embryo writer monad writes something