INTERFACE X = Generic (A, A) END X.