[samhh]

You don't really need to be bought into fp-ts to use io-ts. Just create a helper function that morphs the native decode output, `Either<E, A>`, to something like `E | A` or `A | null`.

[eyelidlessness]

Or even `asserts value is A` if error handling is more your cup of tea/more idiomatic in your project.