Guard is a type checker that aims to make type checking function arguments easier and more readable. - View it on GitHub