Add some discussion about type safety