dhall-1.10.0: tests/typecheck/alternativesAreTypesA.dhall

< Left = List | Right : Type >