Solutions for Applicative functors