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

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