‚¨iemptyList‚gNaturalremptyRecordLiteral‚ oemptyRecordType‚ nemptyUnionType‚ dlist„ö‚
‚mrecordLiteral‚¢ax‚
ayõjrecordType‚¢axgNaturalaydBooliunionType‚¢axgNaturalaydBool