您可以使用and关键字:
and
type ModuleInfo = | Author of Name | Section of Section | Duration of Duration | Url of string and Module = Module of ModuleInfo and Modules = Modules of ModuleInfo list and Section = | Introduction of Module | Conclusion of Module