dhall-1.10.0: tests/typecheck/fieldsAreTypesB.dhall

{ x : Type, y : Type → Type }