What's the free cartesian closed category with an applicative functor like