WIP: library-design code examples
More examples around Applicative Functors