Proposition Kleene star on containers is a functor complete kleene star functor KleeneFunctor : Endo Cont