Learning applicative functors