Added generic traverse for total polymorphic lenses.