Haskellは結局Prologのように”使えないけどおもしろい”言語なんだろうな。