const t = () => ({
  v: (v) => v in z
})