Re: Bad default bitraverse

--===============1522707997268111533==
Content-Type: multipart/alternative; boundary="00000000000018166b05dc11be3d"

--00000000000018166b05dc11be3d
Content-Type: text/plain; charset="UTF-8"

Yes, this is a known issue and the default is being removed.

On Thu, Apr 7, 2022, 10:54 AM Keith <[email protected]> wrote:

> The default `bitraverse` implementation should be removed.
>
> The default `bitraverse` is
> `bitraverse f g = bisequenceA . bimap f g`.
>
> But `bisequenceA` is an alias of `bisequence`, which in turn is
> `bitraverse id id`. Neither `bisequence` nor `bisequenceA` is a
> Bitraversable method, so they can't have alternative definitions.
>
> Sorry if this has already been mentioned.
>
> Sent from my phone with K-9 Mail.
> _______________________________________________
> Libraries mailing list
> [email protected]
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>

--00000000000018166b05dc11be3d
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"auto">Yes, this is a known issue and the default is being remov=
ed.</div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_att=
r">On Thu, Apr 7, 2022, 10:54 AM Keith &lt;<a href=3D"mailto:keith.wygant@g=
mail.com">[email protected]</a>&gt; wrote:<br></div><blockquote class=
=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padd=
ing-left:1ex"><u></u><div>The default `bitraverse` implementation should be=
 removed.<br><br>The default `bitraverse` is <br>`bitraverse f g =3D bisequ=
enceA . bimap f g`.<br><br>But `bisequenceA` is an alias of `bisequence`, w=
hich in turn is `bitraverse id id`. Neither `bisequence` nor `bisequenceA` =
is a Bitraversable method, so they can&#39;t have alternative definitions.<=
br><br>Sorry if this has already been mentioned.<div style=3D"white-space:p=
re-wrap"><br>Sent from my phone with K-9 Mail.</div></div>_________________=
______________________________<br>
Libraries mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank" rel=3D"noreferre=
r">[email protected]</a><br>
<a href=3D"http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel=
=3D"noreferrer noreferrer" target=3D"_blank">http://mail.haskell.org/cgi-bi=
n/mailman/listinfo/libraries</a><br>
</blockquote></div>

--00000000000018166b05dc11be3d--

--===============1522707997268111533==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTGlicmFyaWVz
IG1haWxpbmcgbGlzdApMaWJyYXJpZXNAaGFza2VsbC5vcmcKaHR0cDovL21haWwuaGFza2VsbC5v
cmcvY2dpLWJpbi9tYWlsbWFuL2xpc3RpbmZvL2xpYnJhcmllcwo=

--===============1522707997268111533==--