Now complete implementation of Functor and Applicative.