[UPDATED] Add missing Monad instances to tuples

Henning Thielemann lemming at henning-thielemann.de
Sun Apr 7 09:27:47 UTC 2019

On Sun, 7 Apr 2019, Fumiaki Kinoshita wrote:

> They are writer monads for sure, but WriterT does not subsume them. If a typeclass method has type Writer w a, it
> does not allow GeneralizedNewtypeDeriving on it due to the type roles.
> I don't really have any idea how instance warnings should look like.


More information about the Libraries mailing list