applicative and choice infix operators