now proper a proper script context..

and some formatting fixes

agora/Agora/Effect/TreasuryWithdrawal.hs

@@ -8,10 +8,10 @@ Description: An Effect that withdraws treasury deposit
 An Effect that withdraws treasury deposit
 -}
 module Agora.Effect.TreasuryWithdrawal (
-  TreasuryWithdrawalDatum(..),
-  PTreasuryWithdrawalDatum(..),
+  TreasuryWithdrawalDatum (..),
+  PTreasuryWithdrawalDatum (..),
   treasuryWithdrawalValidator,
-  ) where
+) where
 
 import GHC.Generics qualified as GHC
 import Generics.SOP (Generic, I (I))