(module (algebraic-structures monoid list base) (<> unit)
  (import scheme)

  (define <> append)
  (define unit '()))