m7 functional iteration