Continuing with our Typing Workshop, this week we learned about conditional types. In this context, we explain the meaning of the reserved words "extends" and "infer" and see some examples of their use in conditionals. Additionally, we differentiate the use of "extends" in a condition and in a Type Constraint. Type Constraint is a powerful tool that makes our types more precise and our code written safely. Finally, we solved some conditional typing challenges together.