<div dir="auto">Sorry, I still have semigroupoids on my mind. There's no renaming like with Foldable1, so yes the migration path is not more complicated than what you say.<div dir="auto"><br></div><div dir="auto">I still think a proposal is worthwhile because many people (including myself) fail to see motivation for comonads in every day programming. The fact that Ollie, an experienced haskell programmer, also shares this sentiment makes me more certain that people need motivating. I think a proposal is a good way to do that.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Sep 11, 2020, 14:16 Sandy Maguire <<a href="mailto:sandy@sandymaguire.me">sandy@sandymaguire.me</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Ollie: It's for giving my own instances. I suspect most of the reasons that comonads feel uninteresting is that they've been relegated to a second-class citizen in the ecosystem.<br><br></div>chessai: I'm not proposing the whole package; just the class. I can't imagine the migration path is any harder than putting an ifdef into the comonads package.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Sep 11, 2020 at 12:06 PM chessai <<a href="mailto:chessai1996@gmail.com" target="_blank" rel="noreferrer">chessai1996@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">Hi Sandy,<div dir="auto"><br></div><div dir="auto">I think this would be a good candidate for the new Libraries Proposal process, modelled after ghc-proposals. See <a href="https://github.com/haskell-core/core-libraries-proposals" target="_blank" rel="noreferrer">https://github.com/haskell-core/core-libraries-proposals</a></div><div dir="auto"><br></div><div dir="auto">I recommend writing a proposal there. In particular, for changes like this, one of the things that needs the most thought is the story around a migration path.</div><div dir="auto"><br></div><div dir="auto">Hope this helps.</div><div dir="auto"><br></div><div dir="auto">Thanks</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Sep 11, 2020, 13:55 Sandy Maguire <<a href="mailto:sandy@sandymaguire.me" target="_blank" rel="noreferrer">sandy@sandymaguire.me</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><div>Hi all,<br><br></div>I frequently regret the lack of having the Comonad class in base. Are there any good reasons for its absence? If not, I can get started on a patch.<br><br></div><div>Best,<br></div>Sandy<br></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" rel="noreferrer noreferrer" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>
</blockquote></div>
</blockquote></div>