12-Copatterns: "virtual functions" via copatterns.