Haskellには組み込みのevalがないだけで、自分で好きな構文のevalを書くのは何も問題ない
「ユーザが文字列として与えた関数をHaskellの関数に」することも当然できる