Functor is still superclass of Traverable.