Generating types by re-using an existing type.