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