Guards

The if keyword can be used with case expressions to add a guard to a pattern. A guard is an expression that must evaluate to True for the pattern to match.

Guard expressions cannot contain function calls, case expressions, or blocks.