Apropos of this, can we get flexible instances for Compose?

It seems like there's some agreement that ignoring the composition is the most useful way to generate fully saturated instances (since requiring e.g. 'composition of a monoid with semigroup' is more useful than 'composition of a monoid with a monoid').
—
Sent from my phone with K-9 Mail.

On April 25, 2020 10:56:35 AM EDT, Simon Jakobi via Libraries <libraries@haskell.org> wrote:
Thanks for the feedback, everyone! :)

Since option (C) received the most support, I opened an MR to implement it:

https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3154

Once it is merged, I will make an announcement of this change, as
requested on r/haskell:

https://www.reddit.com/r/haskell/comments/g3glwn/migration_path_for_last_c/fnrfzf1/

Cheers,
Simon
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries