[gcanti]

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

[anko]

thanks for the link - i've never seen that before :)