A good alias to document.
A pattern operator is inherently a list of rules.  Why would I need to
pass the constructor any other arguments?
Explain pattern dispatch.