|
|
|
|
|
|
by 082349872349872
683 days ago
|
|
|
fwiw I unwittingly retrod this path; looking back at early versions of my algebraic type library there were all sorts of provisions for automatic smart constructors (commutativity, identities, etc., surely inspired by Goguen) that got dropped from later versions for lack of use. |
|
|