It is more that you can have values like `payload : if byte[TYPE_OFFSET] == TYPE_INT then Int else String`. You are required to disambiguate the type before an

It is more that you can have values like `payload : if byte[TYPE_OFFSET] == TYPE_INT then Int else String`. You are required to disambiguate the type before anything useful can be done. What has happened is that you have types being passed around by functions and evaluations which reflect dynamic behaviour at runtime - but there is a type statically known at all times for each part of the program.