For more information, see the section on Type Juggling.

• 更多信息见类型戏法。