dhall-1.13.0: tests/typecheck/fieldsAreTypesA.dhall

{ x = Bool, y = Text }