Bad method default for Bitraversable
The Bitraversable class has one method, bitraverse. This method has a default implementation using bisequenceA. bisequenceA is a function (not a class method) defined using bisequence. bisequence is defined using bitraverse. Net effect: if the bitraverse implementation is missing, then there's no warning, but there is an infinite loop. Presumably bisequenceA was once a class method, in which case this would have made sense. Solution: remove the default definition.
Environment
- GHC version used: 9.0.1, but the problem remains in master.