Runtime type checking with io-ts in Typescript

Typescript can statistically analyze your code, by compiling it to Javascript and throwing errors while doing it, if it sees something...