Robert Atkey, Sam Lindley, Jeremy Yallop: Unembedding domain-specific languages. Haskell 2009: 37-48