dhall-1.20.0: tests/typecheck/failure/mixedUnions.dhall

< Left : Natural | Right : Type >