Applicative complete