dhall-1.13.0: tests/normalization/tutorial/projection/0A.dhall

{ x = 1, y = True, z = "ABC" }.{ x, y }