fix: parens around operators

11 files changed, 92 insertions, 92 deletions

diff --git a/testdata/Builtins.out b/testdata/Builtins.out
index 01a4d378..351b6558 100644
--- a/testdata/Builtins.out
+++ b/testdata/Builtins.out
@@ -650,7 +650,7 @@ head
     (_rhs undefined)
     (\(b :: _) _ -> _rhs b)
     a
-++
+(++)
   = \(a :: _) (b :: _) -> case'List
     (\_ -> _ :: _)
     (_rhs b)
@@ -662,7 +662,7 @@ foldr
     (_rhs b)
     (\(d :: _) (e :: _) -> _rhs (a d (foldr a b e)))
     c
-concat = _rhs (foldr ++ [])
+concat = _rhs (foldr (++) [])
 map
   = \(a :: _) (b :: _) -> case'List
     (\_ -> _ :: _)
@@ -1228,7 +1228,7 @@ PrimNoise2 :: forall (a :: Nat) . VecScalar a Float -> Vec 2 Float
 PrimNoise3 :: forall (a :: Nat) . VecScalar a Float -> Vec 3 Float
 PrimNoise4 :: forall (a :: Nat) . VecScalar a Float -> Vec 4 Float
 head :: forall a . [a] -> a
-++ :: forall a . [a] -> [a] -> [a]
+(++) :: forall a . [a] -> [a] -> [a]
 foldr :: forall a b . (b -> a -> a) -> a -> [b] -> a
 concat :: forall a . [[a]] -> [a]
 map :: forall a b . (a -> b) -> [a] -> [b]
diff --git a/testdata/Internals.out b/testdata/Internals.out
index c76420ae..78586125 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -155,7 +155,7 @@ negate
                 a
                 (_rhs ('Empty "no instance of 'Eq on ???"))))))))
     :: Type -> Type
-==
+(==)
   = (\ @a @_ -> match'String
       (\_ -> _)
       (_rhs \(b := \(c :: _) (d :: _) -> _rhs (isEQ (primCompareString c d))) -> b)
@@ -294,7 +294,7 @@ fromInt :: forall a . Num a => Int -> a
 compare :: forall a . Num a => a -> a -> Ordering
 negate :: forall a . Num a => a -> a
 'Eq :: Type -> Type
-== :: forall a . Eq a => a -> a -> Bool
+(==) :: forall a . Eq a => a -> a -> Bool
 'List :: Type -> Type
 [] :: forall a . [a]
 (:) :: forall a . a -> [a] -> [a]
diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index 0d9a2657..971fc3a3 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -7,9 +7,9 @@ infixr 3 ***
 infixr 0 $
 const = \(a :: _) _ -> _rhs a
 otherwise = _rhs True
-& = \(a :: _) (b :: _) -> _rhs (b a)
-$ = _rhs \(a :: _) (b :: _) -> a b
-. = _rhs \(a :: _) (b :: _) (c :: _) -> a (b c)
+(&) = \(a :: _) (b :: _) -> _rhs (b a)
+($) = _rhs \(a :: _) (b :: _) -> a b
+(.) = _rhs \(a :: _) (b :: _) (c :: _) -> a (b c)
 uncurry
   = \(a :: _) (b :: _) -> hlistConsCase
     (_ :: _)
@@ -18,7 +18,7 @@ uncurry
       (\(e :: _) (f :: _) -> hlistNilCase (_ :: _) (_rhs (a c e)) f)
       d)
     b
-***
+(***)
   = \(a :: _) (b :: _) (c :: _) -> hlistConsCase
     (_ :: _)
     (\(d :: _) (e :: _) -> hlistConsCase
@@ -180,9 +180,9 @@ snd
       (\(c :: _) (d :: _) -> hlistNilCase (_ :: _) (_rhs c) d)
       b)
     a
-||| = \(a :: _) (b :: _) -> case'Bool (\_ -> _ :: _) (_rhs b) (_rhs True) a
+(|||) = \(a :: _) (b :: _) -> case'Bool (\_ -> _ :: _) (_rhs b) (_rhs True) a
 infixr 2 |||
-&&& = \(a :: _) (b :: _) -> case'Bool (\_ -> _ :: _) (_rhs False) (_rhs b) a
+(&&&) = \(a :: _) (b :: _) -> case'Bool (\_ -> _ :: _) (_rhs False) (_rhs b) a
 infixr 3 &&&
 data RecItem :: Type where
     RecItem :: String -> Type -> RecItem
@@ -346,36 +346,36 @@ infix 7 cross
 infixr 7 *.
 infixl 7 .*
 infixl 7 .*.
-+ = \(a :: _) (b :: _) -> _rhs (PrimAdd a b)
-- = \(a :: _) (b :: _) -> _rhs (PrimSub a b)
-* = \(a :: _) (b :: _) -> _rhs (PrimMul a b)
-/ = \(a :: _) (b :: _) -> _rhs (PrimDiv a b)
-% = \(a :: _) (b :: _) -> _rhs (PrimMod a b)
+(+) = \(a :: _) (b :: _) -> _rhs (PrimAdd a b)
+(-) = \(a :: _) (b :: _) -> _rhs (PrimSub a b)
+(*) = \(a :: _) (b :: _) -> _rhs (PrimMul a b)
+(/) = \(a :: _) (b :: _) -> _rhs (PrimDiv a b)
+(%) = \(a :: _) (b :: _) -> _rhs (PrimMod a b)
 neg = \(a :: _) -> _rhs (PrimNeg a)
-/= = \(a :: _) (b :: _) -> _rhs (PrimNotEqual a b)
-< = \(a :: _) (b :: _) -> _rhs (PrimLessThan a b)
-<= = \(a :: _) (b :: _) -> _rhs (PrimLessThanEqual a b)
->= = \(a :: _) (b :: _) -> _rhs (PrimGreaterThanEqual a b)
-> = \(a :: _) (b :: _) -> _rhs (PrimGreaterThan a b)
-&& = \(a :: _) (b :: _) -> _rhs (PrimAnd a b)
-|| = \(a :: _) (b :: _) -> _rhs (PrimOr a b)
+(/=) = \(a :: _) (b :: _) -> _rhs (PrimNotEqual a b)
+(<) = \(a :: _) (b :: _) -> _rhs (PrimLessThan a b)
+(<=) = \(a :: _) (b :: _) -> _rhs (PrimLessThanEqual a b)
+(>=) = \(a :: _) (b :: _) -> _rhs (PrimGreaterThanEqual a b)
+(>) = \(a :: _) (b :: _) -> _rhs (PrimGreaterThan a b)
+(&&) = \(a :: _) (b :: _) -> _rhs (PrimAnd a b)
+(||) = \(a :: _) (b :: _) -> _rhs (PrimOr a b)
 xor = _rhs PrimXor
 not = \(a :: _) -> _rhs (PrimNot a)
 any = \(a :: _) -> _rhs (PrimAny a)
 all = \(a :: _) -> _rhs (PrimAll a)
-.*. = \(a :: _) (b :: _) -> _rhs (PrimMulMatMat a b)
-*. = \(a :: _) (b :: _) -> _rhs (PrimMulMatVec a b)
-.* = \(a :: _) (b :: _) -> _rhs (PrimMulVecMat a b)
+(.*.) = \(a :: _) (b :: _) -> _rhs (PrimMulMatMat a b)
+(*.) = \(a :: _) (b :: _) -> _rhs (PrimMulMatVec a b)
+(.*) = \(a :: _) (b :: _) -> _rhs (PrimMulVecMat a b)
 infixl 7 *!
 infixl 7 /!
 infixl 7 %!
 infixl 6 +!
 infixl 6 -!
-+! = \(a :: _) (b :: _) -> _rhs (PrimAddS a b)
--! = \(a :: _) (b :: _) -> _rhs (PrimSubS a b)
-*! = \(a :: _) (b :: _) -> _rhs (PrimMulS a b)
-/! = \(a :: _) (b :: _) -> _rhs (PrimDivS a b)
-%! = \(a :: _) (b :: _) -> _rhs (PrimModS a b)
+(+!) = \(a :: _) (b :: _) -> _rhs (PrimAddS a b)
+(-!) = \(a :: _) (b :: _) -> _rhs (PrimSubS a b)
+(*!) = \(a :: _) (b :: _) -> _rhs (PrimMulS a b)
+(/!) = \(a :: _) (b :: _) -> _rhs (PrimDivS a b)
+(%!) = \(a :: _) (b :: _) -> _rhs (PrimModS a b)
 perspective
   = (\(a :: _) (b :: _) (c :: _) (d :: _) -> _rhs
       \(e := _rhs (a * tan (c / fromInt 2)))
@@ -459,7 +459,7 @@ fromTo
       (_rhs [])
       (a > b))
     :: Float -> Float -> [Float]
-!!
+(!!)
   = (\(a :: _) (b :: _) -> case'List
       (\_ -> _ :: _)
       (_rhs undefined)
@@ -474,11 +474,11 @@ main is not found
 ------------ trace
 const :: forall a b . a -> b -> a
 otherwise :: Bool
-& :: forall a b . a -> (a -> b) -> b
-$ :: forall a b . (a -> b) -> a -> b
-. :: forall a b c . (b -> c) -> (a -> b) -> a -> c
+(&) :: forall a b . a -> (a -> b) -> b
+($) :: forall a b . (a -> b) -> a -> b
+(.) :: forall a b c . (b -> c) -> (a -> b) -> a -> c
 uncurry :: forall a b c . (a -> c -> b) -> (a, c) -> b
-*** :: forall a b c d . (a -> c) -> (b -> d) -> (a, b) -> (c, d)
+(***) :: forall a b c d . (a -> c) -> (b -> d) -> (a, b) -> (c, d)
 pi :: Float
 zip :: forall a b . [a] -> [b] -> [(a, b)]
 unzip :: forall a b . [(a, b)] -> ([a], [b])
@@ -493,8 +493,8 @@ sortBy :: forall a . (a -> a -> Ordering) -> [a] -> [a]
 iterate :: forall a . (a -> a) -> a -> [a]
 fst :: forall a b . (a, b) -> a
 snd :: forall a b . (a, b) -> b
-||| :: Bool -> Bool -> Bool
-&&& :: Bool -> Bool -> Bool
+(|||) :: Bool -> Bool -> Bool
+(&&&) :: Bool -> Bool -> Bool
 'RecItem :: Type
 RecItem :: String -> Type -> RecItem
 case'RecItem
@@ -635,45 +635,45 @@ floatBitsToInt :: forall (a :: Nat) . VecScalar a Float -> VecScalar a Int
 floatBitsToWord :: forall (a :: Nat) . VecScalar a Float -> VecScalar a Word
 intBitsToFloat :: forall (a :: Nat) . VecScalar a Int -> VecScalar a Float
 wordBitsToFloat :: forall (a :: Nat) . VecScalar a Word -> VecScalar a Float
-+ :: forall a . Num (MatVecScalarElem a) => a -> a -> a
-- :: forall a . Num (MatVecScalarElem a) => a -> a -> a
-* :: forall a . Num (MatVecScalarElem a) => a -> a -> a
-/
+(+) :: forall a . Num (MatVecScalarElem a) => a -> a -> a
+(-) :: forall a . Num (MatVecScalarElem a) => a -> a -> a
+(*) :: forall a . Num (MatVecScalarElem a) => a -> a -> a
+(/)
   :: forall a (b :: Nat)
     . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
-%
+(%)
   :: forall a (b :: Nat)
     . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
 neg :: forall a . Signed (MatVecScalarElem a) => a -> a
-/= :: forall a . a -> a -> Bool
-<
+(/=) :: forall a . a -> a -> Bool
+(<)
   :: forall (a :: Nat) b
     . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
-<=
+(<=)
   :: forall (a :: Nat) b
     . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
->=
+(>=)
   :: forall (a :: Nat) b
     . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
->
+(>)
   :: forall (a :: Nat) b
     . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
-&& :: Bool -> Bool -> Bool
-|| :: Bool -> Bool -> Bool
+(&&) :: Bool -> Bool -> Bool
+(||) :: Bool -> Bool -> Bool
 xor :: Bool -> Bool -> Bool
 not :: forall (a :: Nat) . VecScalar a Bool -> VecScalar a Bool
 any :: forall (a :: Nat) . VecScalar a Bool -> Bool
 all :: forall (a :: Nat) . VecScalar a Bool -> Bool
-.*.
+(.*.)
   :: forall (a :: Nat) (b :: Nat) c (d :: Nat)
     . Mat a b c -> Mat b d c -> Mat a d c
-*. :: forall (a :: Nat) (b :: Nat) c . Mat a b c -> VecS c b -> Vec a c
-.* :: forall (a :: Nat) b (c :: Nat) . VecS b a -> Mat a c b -> Vec c b
-+! :: forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
--! :: forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
-*! :: forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
-/! :: forall a (b :: Nat) . Num a => VecScalar b a -> a -> VecScalar b a
-%! :: forall a (b :: Nat) . Num a => VecScalar b a -> a -> VecScalar b a
+(*.) :: forall (a :: Nat) (b :: Nat) c . Mat a b c -> VecS c b -> Vec a c
+(.*) :: forall (a :: Nat) b (c :: Nat) . VecS b a -> Mat a c b -> Vec c b
+(+!) :: forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
+(-!) :: forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
+(*!) :: forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
+(/!) :: forall a (b :: Nat) . Num a => VecScalar b a -> a -> VecScalar b a
+(%!) :: forall a (b :: Nat) . Num a => VecScalar b a -> a -> VecScalar b a
 perspective :: Float -> Float -> Float -> Float -> Mat 4 4 Float
 rotMatrixZ :: VecScalar 1 Float -> Mat 4 4 Float
 rotMatrixY :: VecScalar 1 Float -> Mat 4 4 Float
@@ -683,7 +683,7 @@ translateBefore4 :: Vec 3 Float -> Mat 4 4 Float
 lookat :: Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float
 scale :: Float -> VecS Float 4 -> VecS Float 4
 fromTo :: Float -> Float -> [Float]
-!! :: forall a . [a] -> Int -> a
+(!!) :: forall a . [a] -> Int -> a
 ------------ tooltips
 testdata/Prelude.lc 16:1-16:6
     forall a b . a -> b -> a
@@ -3550,4 +3550,4 @@ Uncovered pattern(s) at testdata/Prelude.lc:388:10:
 (x : _)  !! 0  =  x
 (_ : xs) !! n  =  xs !! (n-1)
 Missing case(s):
-    !! [] _
\ No newline at end of file
+    [] !! _
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/fixity01.out b/testdata/language-features/basic-values/fixity01.out
index 82d3c5a6..bcc2a126 100644
--- a/testdata/language-features/basic-values/fixity01.out
+++ b/testdata/language-features/basic-values/fixity01.out
@@ -1,8 +1,8 @@
 ------------ desugared source code
 funL = \(a :: _) _ -> _rhs a
 funR = \(a :: _) _ -> _rhs a
-<<<< = \(a :: _) _ -> _rhs a
->>>> = \_ (a :: _) -> _rhs a
+(<<<<) = \(a :: _) _ -> _rhs a
+(>>>>) = \_ (a :: _) -> _rhs a
 infixr 7 funL
 infixr 7 <<<<
 infixr 6 >>>>
@@ -11,8 +11,8 @@ main is not found
 ------------ trace
 funL :: forall a b . a -> b -> a
 funR :: forall a b . a -> b -> a
-<<<< :: forall a b . a -> b -> a
->>>> :: forall a b . a -> b -> b
+(<<<<) :: forall a b . a -> b -> a
+(>>>>) :: forall a b . a -> b -> b
 ------------ tooltips
 testdata/language-features/basic-values/fixity01.lc 1:1-1:5
     forall a b . a -> b -> a
diff --git a/testdata/language-features/basic-values/fixity02.out b/testdata/language-features/basic-values/fixity02.out
index baf54313..acdd5309 100644
--- a/testdata/language-features/basic-values/fixity02.out
+++ b/testdata/language-features/basic-values/fixity02.out
@@ -1,8 +1,8 @@
 ------------ desugared source code
 funL = \(a :: _) _ -> _rhs a
 funR = \_ (a :: _) -> _rhs a
-<@ = \(a :: _) _ -> _rhs a
-@> = \_ (a :: _) -> _rhs a
+(<@) = \(a :: _) _ -> _rhs a
+(@>) = \_ (a :: _) -> _rhs a
 infixr 7 funL
 infixr 7 <@
 infixr 6 @>
@@ -27,8 +27,8 @@ main is not found
 ------------ trace
 funL :: forall a b . a -> b -> a
 funR :: forall a b . a -> b -> b
-<@ :: forall a b . a -> b -> a
-@> :: forall a b . a -> b -> b
+(<@) :: forall a b . a -> b -> a
+(@>) :: forall a b . a -> b -> b
 value1 :: Float
 value2 :: Float
 value3 :: Float
diff --git a/testdata/language-features/basic-values/operator01.out b/testdata/language-features/basic-values/operator01.out
index 96aefcdc..b6848082 100644
--- a/testdata/language-features/basic-values/operator01.out
+++ b/testdata/language-features/basic-values/operator01.out
@@ -1,14 +1,14 @@
 ------------ desugared source code
-#$# = \_ _ -> _rhs HNil
-$$# = \_ _ -> _rhs HNil
-$$$# = \_ _ -> _rhs HNil
-$$$ = \_ _ -> _rhs HNil
+(#$#) = \_ _ -> _rhs HNil
+($$#) = \_ _ -> _rhs HNil
+($$$#) = \_ _ -> _rhs HNil
+($$$) = \_ _ -> _rhs HNil
 main is not found
 ------------ trace
-#$# :: forall a b . a -> b -> ()
-$$# :: forall a b . a -> b -> ()
-$$$# :: forall a b . a -> b -> ()
-$$$ :: forall a b . a -> b -> ()
+(#$#) :: forall a b . a -> b -> ()
+($$#) :: forall a b . a -> b -> ()
+($$$#) :: forall a b . a -> b -> ()
+($$$) :: forall a b . a -> b -> ()
 ------------ tooltips
 testdata/language-features/basic-values/operator01.lc 1:3-1:6
     forall a b . a -> b -> ()
diff --git a/testdata/language-features/basic-values/operator02.reject.out b/testdata/language-features/basic-values/operator02.reject.out
index 5d30716a..38f5992c 100644
--- a/testdata/language-features/basic-values/operator02.reject.out
+++ b/testdata/language-features/basic-values/operator02.reject.out
@@ -5,9 +5,9 @@ and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
 a #$# b = ()
   ^^^
 ------------ trace
-#$# :: forall a b . a -> b -> ()
+(#$#) :: forall a b . a -> b -> ()
 fun :: forall a . a -> ()
-#$# :: forall a b . a -> b -> ()
+(#$#) :: forall a b . a -> b -> ()
 !already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
 a #$# b = ()
   ^^^
diff --git a/testdata/language-features/basic-values/typesig06.out b/testdata/language-features/basic-values/typesig06.out
index bf0f6dea..664b9dec 100644
--- a/testdata/language-features/basic-values/typesig06.out
+++ b/testdata/language-features/basic-values/typesig06.out
@@ -1,12 +1,12 @@
 ------------ desugared source code
 funL = \(a :: _) _ -> _rhs a
-<@ = \(a :: _) _ -> _rhs a
+(<@) = \(a :: _) _ -> _rhs a
 value1 = _rhs ("hi" <@ 1.2 :: String)
 value2 = _rhs ("hi" `funL` 1.2 :: String)
 main is not found
 ------------ trace
 funL :: forall a b . a -> b -> a
-<@ :: forall a b . a -> b -> a
+(<@) :: forall a b . a -> b -> a
 value1 :: String
 value2 :: String
 ------------ tooltips
diff --git a/testdata/language-features/basic-values/typesig07.out b/testdata/language-features/basic-values/typesig07.out
index c589424f..172e6819 100644
--- a/testdata/language-features/basic-values/typesig07.out
+++ b/testdata/language-features/basic-values/typesig07.out
@@ -3,7 +3,7 @@ value1 = _rhs (fromInt 1) :: Int
 value2 = _rhs (fromInt 2) :: Int
 value3 = _rhs (fromInt 3) :: Int
 value4 = (\_ _ -> _rhs HNil) :: HList '[] -> HList '[] -> HList '[]
-@@@ = (\_ _ -> _rhs HNil) :: HList '[] -> HList '[] -> HList '[]
+(@@@) = (\_ _ -> _rhs HNil) :: HList '[] -> HList '[] -> HList '[]
 value6 = (\_ _ -> _rhs HNil) :: HList '[] -> HList '[] -> HList '[]
 main is not found
 ------------ trace
@@ -11,7 +11,7 @@ value1 :: Int
 value2 :: Int
 value3 :: Int
 value4 :: () -> () -> ()
-@@@ :: () -> () -> ()
+(@@@) :: () -> () -> ()
 value6 :: () -> () -> ()
 ------------ tooltips
 testdata/language-features/basic-values/typesig07.lc 1:27-1:30
diff --git a/testdata/language-features/section/section01.out b/testdata/language-features/section/section01.out
index 9af1bf31..dd5e5093 100644
--- a/testdata/language-features/section/section01.out
+++ b/testdata/language-features/section/section01.out
@@ -1,10 +1,10 @@
 ------------ desugared source code
-!@! = \_ _ -> _rhs HNil
+(!@!) = \_ _ -> _rhs HNil
 value1 = \(a :: _) -> _rhs \(b :: _) -> a !@! b
 value2 = \(a :: _) -> _rhs \(b :: _) -> b !@! a
 main is not found
 ------------ trace
-!@! :: forall a b . a -> b -> ()
+(!@!) :: forall a b . a -> b -> ()
 value1 :: forall a b . a -> b -> ()
 value2 :: forall a b . a -> b -> ()
 ------------ tooltips
diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index 407b8154..82487126 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -5,8 +5,8 @@ infix 4 <
 infixr 3 &&
 infixr 2 ||
 not = \(a :: _) -> case'Bool (\_ -> _ :: _) (_rhs True) (_rhs False) a
-&& = \(a :: _) (b :: _) -> case'Bool (\_ -> _ :: _) (_rhs False) (_rhs b) a
-|| = \(a :: _) (b :: _) -> case'Bool (\_ -> _ :: _) (_rhs b) (_rhs True) a
+(&&) = \(a :: _) (b :: _) -> case'Bool (\_ -> _ :: _) (_rhs False) (_rhs b) a
+(||) = \(a :: _) (b :: _) -> case'Bool (\_ -> _ :: _) (_rhs b) (_rhs True) a
 'Eq
   = (\(a :: _) -> match'Bool
       (\_ -> _)
@@ -14,7 +14,7 @@ not = \(a :: _) -> case'Bool (\_ -> _ :: _) (_rhs True) (_rhs False) a
       a
       (_rhs ('Empty "no instance of 'Eq on ???")))
     :: Type -> Type
-==
+(==)
   = (\ @a @_ -> match'Bool
       (\_ -> _)
       (_rhs
@@ -27,15 +27,15 @@ not = \(a :: _) -> case'Bool (\_ -> _ :: _) (_rhs True) (_rhs False) a
       a
       (_rhs undefined))
     :: forall e . Eq e => e -> e -> Bool
-/= = \(a :: _) (b :: _) -> _rhs (not (a == b))
+(/=) = \(a :: _) (b :: _) -> _rhs (not (a == b))
 main is not found
 ------------ trace
 not :: Bool -> Bool
-&& :: Bool -> Bool -> Bool
-|| :: Bool -> Bool -> Bool
+(&&) :: Bool -> Bool -> Bool
+(||) :: Bool -> Bool -> Bool
 'Eq :: Type -> Type
-== :: forall a . Eq a => a -> a -> Bool
-/= :: forall a . Eq a => a -> a -> Bool
+(==) :: forall a . Eq a => a -> a -> Bool
+(/=) :: forall a . Eq a => a -> a -> Bool
 ------------ tooltips
 testdata/typeclass.lc 8:1-8:4
     Bool -> Bool