MLと（Haskellとも）離れますが、
モナドを使うと、手続き型言語を
関数的に解釈することができますか？