Applicative Systems