dhall-1.42.3: dhall-lang/tests/parser/success/mergeA.dhall
λ(x : <>)
→ { bar = merge {=} x : Integer
, foo =
merge
{ Left = λ(b : Bool) → b, Right = Natural/even }
(< Left : Bool | Right : Natural >.Left True)
}
λ(x : <>)
→ { bar = merge {=} x : Integer
, foo =
merge
{ Left = λ(b : Bool) → b, Right = Natural/even }
(< Left : Bool | Right : Natural >.Left True)
}