dhall-1.42.3: dhall-lang/tests/normalization/success/simple/completionB.dhall

{ example0 = { id = None Natural, name = "" }
, example1 = { id = None Natural, name = "John Doe" }
, example2 = { id = Some 0, name = "" }
, example3 = { id = Some 0, name = "Mary Jane" }
}