(import (algebraic-structures foldable)
        (only (algebraic-structures private stream)))
(module (algebraic-structures stream foldable) = ((algebraic-structures foldable) (algebraic-structures private stream)))