In line with [base: Relax instances for Functor combinators; put superclass on Class1 to make non-breaking](https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4727) we should add superclasses to `NFData(1,2)` ```haskell class (forall a. NFData (f a)) => NFData1 f class (forall a. NFData a => NFData1 (bi a)) => NFData2 bi ```