Re: [GHC] #12057: TypeFamilyDependencies on Data.Type.Bool's `Not` (was: TypeFamilyDependencies on GHC.Generic's `Rep`)