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

  (define op append)
  (define unit '()))