Give MonadTrans a QuantifiedConstraints superclass
Baldur Blöndal <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.libraries |
|---|---|
| Message-ID | <CAK9DwL_g+A4vZkvcN+fEuzLM=WMZ+1fsOEf6buk3CwV9ySauRQ@mail.gmail.com> |
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:
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
_______________________________________________
Libraries mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries