Flow’s type information is useful for so much more than just proving your programs are correct. Introducing Flow linter.