dhall-1.19.0: tests/typecheck/success/simple/mergeEquivalenceB.dhall

∀(a : Type) → ∀(f : {} → a) → ∀(ts : < Bar : {} | Baz : {} >) → a