Checking a value against a structural pattern and optionally binding the data found inside that structure.