That's really a different issue than type safety.