Follow hlint suggestion: Move brackets to avoid $

With hlint-3.8 and after rebasing, I found 3 more suggestions of this kind

.hlint.yaml

@@ -25,7 +25,6 @@
 - ignore: {name: "Fuse mapM/map"} # 2 hints
 - ignore: {name: "Fuse traverse/<$>"} # 2 hints
 - ignore: {name: "Hoist not"} # 18 hints
-- ignore: {name: "Move brackets to avoid $"} # 3 hints
 - ignore: {name: "Move guards forward"} # 2 hints
 - ignore: {name: "Redundant $"} # 638 hints
 - ignore: {name: "Redundant <$>"} # 51 hints

src/full/Agda/Interaction/Options/Base.hs

@@ -1311,10 +1311,10 @@ transliterateFlag o = return $ o { optTransliterate = True }
 withKFlag :: Flag PragmaOptions
 withKFlag =
   -- with-K is the opposite of --without-K, so collapse default when disabling --without-K
-  (lensOptWithoutK $ lensCollapseDefault $ const $ pure False)
+  lensOptWithoutK (lensCollapseDefault $ const $ pure False)
   >=>
   -- with-K only restores any unsetting of --erased-matches, so keep its default
-  (lensOptErasedMatches $ lensKeepDefault $ const $ pure True)
+  lensOptErasedMatches (lensKeepDefault $ const $ pure True)
 
 
 withoutKFlag :: Flag PragmaOptions

src/full/Agda/Mimer/Mimer.hs

@@ -1474,7 +1474,7 @@ assignMeta metaId term metaType = bench [Bench.CheckRHS] $
 dumbUnifier :: Type -> Type -> SM Bool
 dumbUnifier t1 t2 = bench [Bench.UnifyIndices] $ do
   updateStat incTypeEqChecks
-  (noConstraints $ equalType t2 t1 >> return True) `catchError` \err -> do
+  noConstraints (equalType t2 t1 >> return True) `catchError` \err -> do
     reportSDoc "mimer.unify" 80 $ do
       str <- prettyTCM err
       return $ "Unification failed with error:" <+> str