Conditional types allow you to choose between two different output types by inspecting an input type.