Add applicative instance.