% unfold - sequence obtained by iterating fn over state
%
% unfold :: 
%    (S->A,S)	~'unfolding function',
%    S         ~ initial state,
% -> unfold(S,A) < seq(A).

function y=unfold(f,s0), y=seq.unfold(f,s0);
