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?