Mapped types, conditional types, and more