diff --git a/src/Agora/Treasury.hs b/src/Agora/Treasury.hs
index d487f5a..9066e1a 100644
--- a/src/Agora/Treasury.hs
+++ b/src/Agora/Treasury.hs
@@ -60,7 +60,7 @@ newtype PTreasuryDatum (s :: S)
 {- | Plutarch level type representing valid redeemers of the
      treasury.
 -}
-data PTreasuryRedeemer (s :: S)
+newtype PTreasuryRedeemer (s :: S)
   = -- | Alters treasury parameters (subject to the burning of a
     --   governance authority token).
     PAlterTrParams (Term s (PDataRecord '[]))
diff --git a/src/Agora/Utils/Value.hs b/src/Agora/Utils/Value.hs
index 90efdaa..e20bb5b 100644
--- a/src/Agora/Utils/Value.hs
+++ b/src/Agora/Utils/Value.hs
@@ -27,7 +27,7 @@ pmapAll ::
   (PUnsafeLiftDecl v, PIsData v) =>
   Term s ((v :--> PBool) :--> PMap k v :--> PBool)
 pmapAll = plam $ \f m -> P.do
-  PMap builtinMap <- pmatch $ m
+  PMap builtinMap <- pmatch m
 
   let getV = plam $ \bip -> P.do
         let tuple = pfromData $ ptupleFromBuiltin (pdata bip)