commit: list and Polymorphism