diff --git a/agora-specs/Property/Governor.hs b/agora-specs/Property/Governor.hs
index 5493772..aba21b4 100644
--- a/agora-specs/Property/Governor.hs
+++ b/agora-specs/Property/Governor.hs
@@ -105,7 +105,7 @@ instance Arbitrary GovernorDatumCases where
 -}
 governorDatumValidProperty :: Property
 governorDatumValidProperty =
-  haskEquiv @( 'OnPEq) @( 'ByComplete)
+  haskEquiv @'OnPEq  @'ByComplete
     isValidModelImpl
     (TestableTerm pisGovernorDatumValid)
     (genDatum :* Nil)