dhall-1.22.0: tests/tutorial/unions3B.dhall
[ < Empty | Person : { age : Natural, name : Text } >.Empty
, < Empty | Person : { age : Natural, name : Text } >.Person
{ age = 23, name = "John" }
, < Empty | Person : { age : Natural, name : Text } >.Person
{ age = 25, name = "Amy" }
]