Does this construct have a name?

name_p

> (define (make-map+fold f)
      ; f : α β -> (values α β)
      ; map f over xs while threading the seconding value
      (define (f* xs ρ)
        (match xs
          ['()         (values '() ρ)]
          [(cons x xs) (letv ((x ρ) (f x ρ))
                         (letv ((xs ρ) (f* xs ρ))
                           (values (cons x xs) ρ)))]))
      f*)
> (define sqr+count (make-map+fold (λ (x n) (values (sqr x) (add1 n)))))
> (sqr+count '(3 7 2) 0)
'(9 49 4)
3

Forgot the definition of letv

(define-syntax (letv stx)
  ; syntax: (letv ((x ...) e) b ...)
  ;   bind the result of e to the variables x ... in the body b ...
  (syntax-parse stx
     [(_letv ((x:id ...) e:expr) b:expr ...)
     (syntax/loc stx
       (let-values ([(x ...) e]) b ...))]))