Suggestion in resolveSymbolToTcName in module Language.Haskell.Liquid.LHNameResolution: Use guards ▫︎ Found: "resolveSymbolToTcName globalRdrEnv lx\n = if isTuple s then\n pure\n $ LHNResolved\n (LHRGHC $ GHC.tupleTyConName GHC.BoxedTuple (tupleArity s)) s\n <$ lx\n else\n if isList s then\n pure $ LHNResolved (LHRGHC GHC.listTyConName) s <$ lx\n else\n if s == \"*\" then\n pure $ LHNResolved (LHRGHC GHC.liftedTypeKindTyConName) s <$ lx\n else\n case GHC.lookupGRE globalRdrEnv (mkLookupGRE LHTcName s) of\n [e] -> Right $ LHNResolved (LHRGHC $ GHC.greName e) s <$ lx\n [] -> Left $ errResolve \"type constructor\" \"Cannot resolve name\" lx\n es\n -> Left\n $ ErrDupNames\n (LH.fSrcSpan lx) (pprint s) (map (PJ.text . GHC.showPprUnsafe) es)\n where\n s = val lx" ▫︎ Perhaps: "resolveSymbolToTcName globalRdrEnv lx\n | isTuple s\n = pure\n $ LHNResolved\n (LHRGHC $ GHC.tupleTyConName GHC.BoxedTuple (tupleArity s)) s\n <$ lx\n | isList s = pure $ LHNResolved (LHRGHC GHC.listTyConName) s <$ lx\n | s == \"*\"\n = pure $ LHNResolved (LHRGHC GHC.liftedTypeKindTyConName) s <$ lx\n | otherwise\n = case GHC.lookupGRE globalRdrEnv (mkLookupGRE LHTcName s) of\n [e] -> Right $ LHNResolved (LHRGHC $ GHC.greName e) s <$ lx\n [] -> Left $ errResolve \"type constructor\" \"Cannot resolve name\" lx\n es\n -> Left\n $ ErrDupNames\n (LH.fSrcSpan lx) (pprint s) (map (PJ.text . GHC.showPprUnsafe) es)\n where\n s = val lx"