{ Type = { Tags : Optional (./GitTagFilterCriteria.dhall).Type }
, default.Tags = None (./GitTagFilterCriteria.dhall).Type
}