∀ (label : String) (needsConfirmation : Bool) (description? : Option String),
  sizeOf { label := label, needsConfirmation := needsConfirmation, description? := description? } =
    1 + sizeOf label + sizeOf needsConfirmation + sizeOf description?