filter, then isEmpty is equivalent to not any

[lue-bird]

List.isEmpty (List.filter isOdd list)
--> not (List.any isOdd list)

(strangely, no other published elm/... module exposes both any and filter.)

If we want to save an extra step, we can also introduce separate checks for the negated applications like

not (List.isEmpty (List.filter isOdd list))
--> List.any isOdd list

(found in the FSharpLint default config)