Definition streamSize (s : list streamE) : nat :=
  fold_right plus 0 (map streamElementSize s).
