You could write the runtime definition and extract the static types from that https://github.com/gcanti/io-ts