λA.[(+)/x]'(A::M float)