RE: Cabal patch: add the ConstraintKind extension