(module (algebraic-structures private string) (<> unit) (import scheme) (define (<> x y) (string-append x y)) (define unit ""))