[kevindamm]

The best part of setting things up like that (especially with `-` having any arity) is that there's no ambiguity in the grammar between -/1 (negation) and -/2 (subtraction).