λx.λy. {sum ← [(+)/x]; sum'((<|)`{0,1∘[2]} x (y::M float))}