Comment Comment by gcanti You could write the runtime definition and extract the static types from that https://github.com/gcanti/io-ts parent gcanti 9 years ago