We should soon be able to write a *unified* list of methods and to control the algorithms a species participates in by compile-time polymorphism.