Describe type-safety guarantees as optional