[GHC] #10448: Implement rest of "Add bifunctor related classes to base"-Proposal