[ discussion ] alternative design for `Algebra.Structures.IsX` and `Algebra.Properties.X`#2762

jamesmckinna wants to merge 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:refactor-structures+propertiesjamesmckinna/agda-stdlib:refactor-structures+propertiesCopy head branch name to clipboard