λ(x : Optional Bool) → merge { None = 0, Some = λ(_ : Bool) → 1 } x