diff --git a/agora/Agora/Governor/Scripts.hs b/agora/Agora/Governor/Scripts.hs
index ee4a052..96eae9d 100644
--- a/agora/Agora/Governor/Scripts.hs
+++ b/agora/Agora/Governor/Scripts.hs
@@ -601,7 +601,7 @@ governorValidator gov =
         passert "Output GATs is more than minted GATs" $
           plength # outputsWithGAT #== gatCount
 
-        let gatOutputValidator' :: Term s ((PMap PValidatorHash PDatumHash) :--> (PAsData PTxOut) :--> PUnit :--> PUnit)
+        let gatOutputValidator' :: Term s (PMap PValidatorHash PDatumHash :--> PAsData PTxOut :--> PUnit :--> PUnit)
             gatOutputValidator' =
               phoistAcyclic $
                 plam
diff --git a/agora/Agora/Utils.hs b/agora/Agora/Utils.hs
index 5e34b55..705f4d3 100644
--- a/agora/Agora/Utils.hs
+++ b/agora/Agora/Utils.hs
@@ -533,7 +533,7 @@ mustFindDatum' ::
   Term
     s
     ( PMaybeData PDatumHash
-        :--> (PBuiltinList (PAsData (PTuple PDatumHash PDatum)))
+        :--> PBuiltinList (PAsData (PTuple PDatumHash PDatum))
         :--> datum
     )
 mustFindDatum' = phoistAcyclic $