[ < Empty = {=} | Person : { age : Natural, name : Text } >
, < Person = { age = +23, name = "John" } | Empty : {} >
, < Person = { age = +25, name = "Amy" } | Empty : {} >
, < Empty = {=} | Person : { age : Natural, name : Text } >
]