{ Type =
    { CopyCount : Optional Integer
    , CurrentCopyCount : Optional Integer
    , DesiredCopyCount : Optional Integer
    }
, default =
  { CopyCount = None Integer
  , CurrentCopyCount = None Integer
  , DesiredCopyCount = None Integer
  }
}