Abstract syntax graphs for domain specific languages
Giving Haskell a promotion