Re: Give MonadTrans a QuantifiedConstraints superclass
Henning Thielemann <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.libraries |
|---|---|
| Message-ID | <[email protected]> |
On Wed, 2 Jun 2021, Zemyla wrote: > I feel like instead, MonadTrans should have a function > (>>==) :: Monad m => t m a -> (a -> t m b) -> t m b > > That way, it can prove it's a Monad while still staying Haskell 98. I prefer that. _______________________________________________ Libraries mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries