Added infix applicative functions to mli