match v with
| None -> "unbound value"
| Some _ -> "bounded value"