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

{ x = Bool, y = Text, z = List }