(bind-func smap:[Stream{!a}*,[!a,!a,!a]*,Stream{!a}*,Stream{!a}*]* (lambda (func xs ys) (if (null? xs ys) null (scons (func (scar xs) (scar ys)) (smap func (scdr xs) (scdr ys))))))