[PostScript]
RightIdentity: trait
  introduces
    __ \circ __: T, T -> T
    unit: -> T
  asserts forall x: T
    x \circ unit == x
[Table of Contents] [Index]