let contains ?collection ~key v = Check (_key ?collection key, Some v)