#RyanScott : « How #QuantifiedConstraints can let us put #join back in #Monad »

« Disheartened and defeated, #TeamGHC eventually decided to abandon the #join portion of the #ApplicativeMonadProposal, as using #GeneralizedNewtypeDeriving was simply too useful to give up. Needless to say, though, this left a sour taste in the mouths of many people — Haskellers don’t take kindly to being told that something can’t be done in #Haskell! »
https://ryanglscott.github.io/2018/03/04/how-quantifiedconstraints-can-let-us-put-join-back-in-monad/