A project to explore EDSLs in Haskell