[Aldor-l] "has" and "with" and bug

[Martin Rubey]

Ralf Hemmecke <ralf at hemmecke.de> writes:

> It would be nice if there were any better means in Aldor to state axioms for
> functions than just creating a category (like AbelianMonoid).

Axioms seem rather redundant to me.  What's the problem with introducing a
category like:

  define CommutativeTimes: Category == with { *: (%,%) -> % }

?

Best wishes for Canada and Aldor,

Martin