Some of these, such as type inference, as discussed, come for free.

其中一些，比如已经讨论过的类型推断，可以随意使用。