v: _ -> v v