Really cool stuff! One way that I've blended io-ts and monole-ts together is the use of the .is function in io-ts to replicate pattern matching in Haskell or OCaml. That helps especially in Prisms. So, for example...
new Prism<string | integer, string>(a => t.string.is(a) ? some(a) : none, s => s)
Here, is is a primitive type of pattern matching that does the job both at runtime and at compile time (this is compile safe in typescript).
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.