LISPには変わったマクロあって埋め込み言語実装が簡単だけど
Haskellにはあるのかな?