Agreed, runtime checks can be implemented in typescript - that’s the beauty of it