Applicative Functors: Full deck