dhall-1.20.0: tests/typecheck/success/simple/unionsOfTypesB.dhall

< Left : Type → Type | Right : Type >