Comment by Scooty

Runtime type checking is necessary to ensure data received from untrustworthy sources matches compiletime types.