Not all type systems are born equal, for instance I'm amazed daily at the lack of type safety in Java/Kotlin