Applicative IT