Added linting suggestions

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 '[]))

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)