HLint failed with status: 1. Warning (3), Suggestion (12)

Suggestion in unifyNum in module Brat.Checker.SolveNumbers: Redundant $ ▫︎ Found: "traceM $ (\"unifyNum In\\n \" ++ show nv0 ++ \"\\n \" ++ show nv1)" ▫︎ Perhaps: "traceM (\"unifyNum In\\n \" ++ show nv0 ++ \"\\n \" ++ show nv1)"

Suggestion in typeEq' in module Brat.Checker.SolveHoles: Redundant bracket ▫︎ Found: "do hopes <- req AskHopes\n exp <- sem sems exp\n act <- sem sems act\n qexp <- (quote Zy exp)\n qact <- (quote Zy act)\n traceM (\"typeEq' exp: \" ++ show qexp)\n traceM (\"typeEq' act: \" ++ show qact)\n typeEqEta str stuff hopes k exp act" ▫︎ Perhaps: "do hopes <- req AskHopes\n exp <- sem sems exp\n act <- sem sems act\n qexp <- (quote Zy exp)\n qact <- quote Zy act\n traceM (\"typeEq' exp: \" ++ show qexp)\n traceM (\"typeEq' act: \" ++ show qact)\n typeEqEta str stuff hopes k exp act"

Suggestion in typeEq' in module Brat.Checker.SolveHoles: Redundant bracket ▫︎ Found: "do hopes <- req AskHopes\n exp <- sem sems exp\n act <- sem sems act\n qexp <- (quote Zy exp)\n qact <- (quote Zy act)\n traceM (\"typeEq' exp: \" ++ show qexp)\n traceM (\"typeEq' act: \" ++ show qact)\n typeEqEta str stuff hopes k exp act" ▫︎ Perhaps: "do hopes <- req AskHopes\n exp <- sem sems exp\n act <- sem sems act\n qexp <- quote Zy exp\n qact <- (quote Zy act)\n traceM (\"typeEq' exp: \" ++ show qexp)\n traceM (\"typeEq' act: \" ++ show qact)\n typeEqEta str stuff hopes k exp act"

Suggestion in captureOuterLocals in module Brat.Checker.Monad: Move brackets to avoid $ ▫︎ Found: "(req $ AddCapture n (x, new)) >> (pure $ Just j)" ▫︎ Perhaps: "req (AddCapture n (x, new)) >> (pure $ Just j)"

Suggestion in captureOuterLocals in module Brat.Checker.Monad: Move brackets to avoid $ ▫︎ Found: "(req $ AddCapture n (x, new)) >> (pure $ Just j)" ▫︎ Perhaps: "(req $ AddCapture n (x, new)) >> pure (Just j)"

Suggestion in localFC in module Brat.Checker.Monad: Redundant $ ▫︎ Found: "pure $ Nothing" ▫︎ Perhaps: "pure Nothing"

Suggestion in wrapper2 in module Brat.Checker.Monad: Avoid lambda ▫︎ Found: "\\ s -> pure (f s)" ▫︎ Perhaps: "pure . f"

Suggestion in loadStmtsWithEnv in module Brat.Load: Use null ▫︎ Found: "length holes == 0" ▫︎ Perhaps: "null holes" ▫︎ Note: increases laziness

Warning in kindOf in module Brat.Eval: Redundant <&> ▫︎ Found: "(req (TypeOf e) <&> fst)\n >>=\n \\case\n EndType Braty (Left k) -> pure k\n EndType my ty\n -> typeErr\n $ \"End \"\n ++\n show e\n ++\n \" isn't a kind, it's type is \"\n ++\n case my of\n Braty -> show ty\n Kerny -> show ty" ▫︎ Perhaps: "req (TypeOf e)\n >>=\n (\\case\n EndType Braty (Left k) -> pure k\n EndType my ty\n -> typeErr\n $ \"End \"\n ++\n show e\n ++\n \" isn't a kind, it's type is \"\n ++\n case my of\n Braty -> show ty\n Kerny -> show ty)\n . fst"