Note inspiration for matching-arity