Mapped types

Implementing mapped types