The macro `match-define-values/derived`, currently internal to `racket/match`, would be useful for implementing complex pattern-based binding forms.