Give MonadTrans a QuantifiedConstraints superclass

[chessai]

I think you meant to forward to the libraries mailing list, not the
ghc-devs one

On Tue, Jun 1, 2021, 18:01 Baldur Blöndal <baldurpet at gmail.com> wrote:

> This is to advertise the proposal
> (https://gitlab.haskell.org/ghc/ghc/-/issues/19922) to add a
> superclass to the MonadTrans type class in Control.Monad.Trans.
>
> A Monad transformer 'trans' lifts a 'Monad m' to a 'Monad (trans m)'.
>
> This proposal code-ifies that with a superclass constraint, an
> impliciation constraint enabled by the recent extension
> QuantifiedConstraints:
>
>     class (forall m. Monad m => Monad (trans m)) => MonadTrans trans where
>       ..
>
> This is the main motiviating example of the Quantified Class
> Constraints paper https://gkaracha.github.io/papers/quantcs.pdf
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20210601/da99fa74/attachment.html>