λX.λv. [(+)`v x]'(X::M float)