(module (algebraic-structs monoid list base) (op id)
  (import scheme)

  (define op append)
  (define id '()))