PLUS = m => n => f => x => (m(f)(n(f)(x)))

MULT = m => n => f => x => (m(n(f))(x))
