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