Guard is a type checker that aims to make type checking function arguments easier and more readable.