Add 3-argument applicative-functor lift instance