2025-04-03 17:41 AEDT

View Revisions: Note 546

Summary 0000187: Strange error with disjunctive definitions returning existential typeclass instance