first proper applicative functor test