Functor and Applicative Prim instances
more extensive properties tests