Applicative functor example implementations