dhall-1.18.0: tests/typecheck/fieldsAreTypesB.dhall

{ x : Type, y : Type, z : Type → Type }