>>671
わかってないのかもしらんが、>>668のような事情があるから
Haskellの内部で命令型言語を容易に再発明できるのだよ。