「モナド」が何を指すのかによる
do記法のことなら（lispのようなマクロが無い言語では）組み込みじゃないと無理
あとlazyは関係が無い気がする。OCamlでもモナド使うし