This is lovely. Its treatment of arity reads like an implicit pattern matching against tuples across the operators.