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