Added tests for Applicative, Functor and Traversable