@@ -900,7 +900,7 @@ showImp impl tm = se 10 tm where
900900 se p (PPi (Exp l s _) n ty sc)
901901 | n `elem` allNamesIn sc || impl
902902 = bracket p 2 $
903− if l then "|(" else "(" ++
903+ (if l then "|(" else "(") ++
904904 show n ++ " : " ++ se 10 ty ++
905905 ") " ++ st ++
906906 "-> " ++ se 10 sc
@@ -909,7 +909,7 @@ showImp impl tm = se 10 tm where
909909 Static -> "[static] "
910910 _ -> ""
911911 se p (PPi (Imp l s _) n ty sc)
912− | impl = bracket p 2 $ if l then "|{" else "{" ++
912+ | impl = bracket p 2 $ (if l then "|{" else "{") ++
913913 show n ++ " : " ++ se 10 ty ++
914914 "} " ++ st ++ "-> " ++ se 10 sc
915915 | otherwise = se 10 sc