This should go to a new file. Before do this, make sure this is not a redefinition of the type already modeled in the library