add comment in ListFunctor.v (japanese)