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