io-ts-types is a collection of runtime types and combinators for use with io-ts, providing type...