progress on iterate_composed
fixed iterate-composed