<html><head></head><body>Apropos of this, can we get flexible instances for Compose? <br><br>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').<br>—<br>Sent from my phone with K-9 Mail.<br><br><div class="gmail_quote">On April 25, 2020 10:56:35 AM EDT, Simon Jakobi via Libraries <libraries@haskell.org> wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<pre class="k9mail">Thanks for the feedback, everyone! :)<br><br>Since option (C) received the most support, I opened an MR to implement it:<br><br><a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3154">https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3154</a><br><br>Once it is merged, I will make an announcement of this change, as<br>requested on r/haskell:<br><br><a href="https://www.reddit.com/r/haskell/comments/g3glwn/migration_path_for_last_c/fnrfzf1/">https://www.reddit.com/r/haskell/comments/g3glwn/migration_path_for_last_c/fnrfzf1/</a><br><br>Cheers,<br>Simon<hr>Libraries mailing list<br>Libraries@haskell.org<br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br></pre></blockquote></div></body></html>