2023-12-09 20:14 AEDT

View Revisions: Note 657

Summary 0000323: Matching on adts makes and instantiation state subtyping is impossible.