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

< Left : Type → Type | Right : Type >