from-stateful-morphisms-to-streams