[Haskell-cafe] pointers for EDSL design