let Example =
      { Type = { name : Text, id : Optional Natural }
      , default = { name = True, id = None Natural }
      }

in  Example::{=}