dhall-1.26.1: dhall-lang/tests/type-inference/failure/mixedUnions.dhall

< Left : Natural | Right : Type >