∀ (inEmph inBold inLink : Bool) (linePrefix : String),
  sizeOf { inEmph := inEmph, inBold := inBold, inLink := inLink, linePrefix := linePrefix } =
    1 + sizeOf inEmph + sizeOf inBold + sizeOf inLink + sizeOf linePrefix