fix linter errors

agora/Agora/Proposal.hs

@@ -239,7 +239,7 @@ PlutusTx.makeIsDataIndexed
   ]
 
 -- | Parameters that identify the Proposal validator script.
-data Proposal = Proposal
+newtype Proposal = Proposal
   { governorSTAssetClass :: AssetClass
   }
   deriving stock (Show, Eq)

agora/Agora/Record.hs

@@ -61,7 +61,7 @@ infixr 6 .&
     (a :: [PLabeledType])
     (b :: [PLabeledType])
     (c :: [PLabeledType]).
-  (RecordMorphism s b c) ->
-  (RecordMorphism s a b) ->
-  (RecordMorphism s a c)
+  RecordMorphism s b c ->
+  RecordMorphism s a b ->
+  RecordMorphism s a c
 (.&) = (.)

agora/Agora/Utils.hs

@@ -415,7 +415,8 @@ ptokenSpent =
   plam $ \tokenClass inputs ->
     0
       #< pfoldr @PBuiltinList
-        # ( plam $ \txInInfo' acc -> P.do
+        # plam
+          ( \txInInfo' acc -> P.do
               PTxInInfo txInInfo <- pmatch (pfromData txInInfo')
               PTxOut txOut' <- pmatch $ pfromData $ pfield @"resolved" # txInInfo
               txOut <- pletFields @'["value"] txOut'