Implement ch11/using_applicative_functors examples (in progress)