Dear committee,

Teo proposes to hide the implementation of the Q monad. This allows an internal only interface to be split out of Quasi. This enables the internal interface to evolve independently of Quasi, the external interface.

This small change has a practically important benefit: adding a new function to Q (a seemingly minor change) no longer forces a major version bump of GHC to cause a major version bump of template-haskell that will transitively ripple through the whole ecosystem.

I highly recommend we accept the proposal.

Sebastian

Am Di., 10. März 2026 um 10:55 Uhr schrieb Simon Marlow <marlowsd@gmail.com>:

Teo Camarasu submitted proposal #700: Abstract Q to the committee for review. 

https://github.com/ghc-proposals/ghc-proposals/pull/700

I'd like to nominate Sebastian Graf as the shepherd.

Please guide us to a conclusion as outlined in
https://github.com/ghc-proposals/ghc-proposals/blob/master/README.rst#committee-process-for-responding-to-a-proposal.
If possible, please aim to make a recommendation by 24 March 2026.

Cheers

Simon

_______________________________________________
ghc-steering-committee mailing list -- ghc-steering-committee@haskell.org
To unsubscribe send an email to ghc-steering-committee-leave@haskell.org