Types of mapping function. Generating types by re-using an existing type.