So you cannot, for example, define a record type that uses itself recursively.

• 因此，不能定义递归使用自身的类型，如记录类型。