Bad default bitraverse

Tom Ellis tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Thu Apr 7 15:29:28 UTC 2022


For reference: https://github.com/haskell/core-libraries-committee/issues/47#issuecomment-1055634151

On Thu, Apr 07, 2022 at 11:00:32AM -0400, David Feuer wrote:
> Yes, this is a known issue and the default is being removed.
> 
> On Thu, Apr 7, 2022, 10:54 AM Keith <keith.wygant at gmail.com> 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.


More information about the Libraries mailing list