This post assumes that you know what io-ts is. If you want to learn about it I recommend reading this page and the docs. It is pretty common to want to do something like take a value with an unknown type, check that it is a string, check that the st...