Comment by jbraithwaite

2. Check out fp-ts or io-ts for runtime type checking.