Broken default for 'bitraverse'

Looking at, and substituting, the definitions for bisequenceA and bisequence, the default implementation for bitraverse is always ⊥.

It would make sense if e.g. bisequence were also part of the type class. Perhaps this was the case at some point in the past?