List is a functor.