dhall-1.13.0: tests/typecheck/fieldsAreTypesB.dhall

{ x : Type, y : Type }