Re[2]: Functor (Either a)