[PostScript]
Associative (\circ, T): trait
  introduces __ \circ __: T, T -> T
  asserts forall x, y, z: T
    (x \circ y) \circ z == x \circ (y \circ z)
[Table of Contents] [Index]