Using pattern bindings in guard evaluations.