Defines `|` to be pattern-matching "or"