v: _ -> v v (v Type)