dhall-1.19.0: tests/typecheck/success/simple/alternativesAreTypesA.dhall

< Left = List | Right : Type >