なんでそんなプログラムを書く必要があるのか理解できないな。
自分一人で使うならHaskellで直接書けばいいし、
そうでなければなぜそんな局所的なインタプリタが必要なのか。
もっとマクロなレベルでデザインが間違っているのではないか。