Typed-based defensiveness