Adapt what4 patch to reflect new quantified superclass on MonadTrans

Fixes GHC #22663

ci/config.sh

@@ -89,7 +89,6 @@ case $version in
 
   9.7.*)
     #       package                   ticket
-    broken  what4                     22663
     ;;
 
   *)

patches/what4-1.3.patch

@@ -123,6 +123,19 @@ index edec041..c9af5ef 100644
    where
      bvSelect' :: forall i. (i + w <= n * w)
                => NatRepr (n * w)
+diff --git a/src/What4/Partial.hs b/src/What4/Partial.hs
+index f221030..9445ad2 100644
+--- a/src/What4/Partial.hs
++++ b/src/What4/Partial.hs
+@@ -266,7 +266,7 @@ instance (IsExpr (SymExpr sym), Monad m) => Monad (PartialT sym m) where
+ instance (IsExpr (SymExpr sym), MonadFail m) => MonadFail (PartialT sym m) where
+   fail msg = PartialT $ \_ _ -> fail msg
+ 
+-instance MonadTrans (PartialT sym) where
++instance (IsExpr (SymExpr sym)) => MonadTrans (PartialT sym) where
+   lift m = PartialT $ \_ p -> PE p <$> m
+ 
+ instance (IsExpr (SymExpr sym), MonadIO m) => MonadIO (PartialT sym m) where
 diff --git a/src/What4/Protocol/SMTLib2.hs b/src/What4/Protocol/SMTLib2.hs
 index 831be33..27506b4 100644
 --- a/src/What4/Protocol/SMTLib2.hs