いや、それはおかしいだろ
OCamlで実装されたHaskellインタプリタだったらそのHaskellは純粋ではないことになるのか?