{ Type =
    { NumberOfNotifiedThings : Optional Integer
    , NumberOfSucceededThings : Optional Integer
    }
, default =
  { NumberOfNotifiedThings = None Integer
  , NumberOfSucceededThings = None Integer
  }
}