Match guard

A condition evaluated after a case pattern succeeds and before its branch is selected.