let inj =
    let some = Some(dep0) in
      fun p a b -> if p a b then some else None