Implementing a procedure of derived type extending abstract type

Question

I want the derived types to have the same behavior, so I want to define an interface to the abstract class. So I wrote my program as follows, but I got a compile error.

H