>>736
monadの方が、言語の意味論を拡張しないですむので良いかも。