On: Monads and Macros

[chowells]

Does the proposal to allow imports that only apply during template haskell evaluation improve things?

[Ericson2314 → chowells]

See my comments to https://github.com/ghc-proposals/ghc-proposals/pull/412, where I invoke Racket frequently.

It's the right sort of goal, but we have to go all the way to full phase separation to make it mean something.