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