The models.arrow.smart vocabulary generalizes arrows to arbitrary input arity. They're called "smart" because they resemble Smart combinators.

<smart-arrow> ( quot -- quot' )