Some of my learnings regarding the typescript type system while building my schema validation library Narro.