{ Type = { Properties : Optional (./../../Prelude.dhall).JSON.Type }
, default.Properties = None (./../../Prelude.dhall).JSON.Type
}