dhall-1.21.0: dhall-lang/tests/typecheck/failure/mixedUnions.dhall

< Left : Natural | Right : Type >