A pattern that can fail for some values of its input type and therefore needs an explicit failure path.