Looks nice; I use “decoders” with Flow for this use case myself. Can even avoid doubling up in type/parsing definitions by deriving the type of the result via inference, from the decoder. Excited to play with this for my TypeScript projects.