Is there a linter that points out nested conditionals?

Here’s one: How does one pattern match two list exhaustively?

Another one: Tail cascade: a new indentation style for some OCaml constructs