As a reductio ad absurdum, statically typed programs are also (represented as) streams of bytes!