I know type safety inherently has nothing to do with ML it's just the sort of thing that comes up a lot.