It is desirable to have types at the entrypoints and at IO usually. Even rails has validations and SQL has schemas , or there are file formats