HLint failed with status: 1. Warning (4), Suggestion (13)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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"

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

Suggestion in pullPorts in module Brat.Checker.Helpers: Use uncurry ▫︎ Found: "\\ (pulled, rest) -> pulled ++ rest" ▫︎ Perhaps: "uncurry (++)" ▫︎ Note: increases laziness

Suggestion in vecLayers in module Brat.Checker.Helpers: Redundant bracket ▫︎ Found: "(_, (VApp (VPar e) _))" ▫︎ Perhaps: "(_, VApp (VPar e) _)"

Suggestion in vecLayers in module Brat.Checker.Helpers: Redundant bracket ▫︎ Found: "(my, (TVec ty (VNum n)))" ▫︎ Perhaps: "(my, TVec ty (VNum n))"

Suggestion in vecLayers in module Brat.Checker.Helpers: Redundant bracket ▫︎ Found: "(Braty, (VFun Braty cty))" ▫︎ Perhaps: "(Braty, VFun Braty cty)"

Suggestion in vecLayers in module Brat.Checker.Helpers: Redundant bracket ▫︎ Found: "(Kerny, (VFun Kerny cty))" ▫︎ Perhaps: "(Kerny, VFun Kerny cty)"

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

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