danieldietrich · September 27, 2022 20:20 · Sep 27, 2022 · Sep 27, 2022 · Sep 27, 2022 · Sep 27, 2022
diff --git a/03_answer.md b/03_answer.md
@@ -1,8 +1,8 @@
 ✅ Solved distribution:
 
 ```ts
-  DistributiveConditionalType<never, 1> // why resolved as 👉 never?
-= never // never is the empty union, it distributes to nothing and therefore resolves to never.
+  DistributiveConditionalType<never, 1>
+= never // never is the empty union, it distributes to nothing and therefore the type resolves to never
 ```
 
 ✅ Solved the expanded type:

diff --git a/definition.md → 01_definition.md b/definition.md → 01_definition.md
diff --git a/question.md → 02_question.md b/question.md → 02_question.md
diff --git a/answer.md → 03_answer.md b/answer.md → 03_answer.md
diff --git a/answer.md b/answer.md
@@ -0,0 +1,13 @@
+✅ Solved distribution:
+
+```ts
+  DistributiveConditionalType<never, 1> // why resolved as 👉 never?
+= never // never is the empty union, it distributes to nothing and therefore resolves to never.
+```
+
+✅ Solved the expanded type:
+
+```ts
+  (never) extends (1) ? true : false
+= true // no type extends anything by definition
+```
diff --git a/definition.md b/definition.md
@@ -0,0 +1,18 @@
+**Def.** A conditional type with a checked _naked type parameter_ T is called _distributive conditional types_.
+
+Example:
+
+```ts
+// given U, X and Y
+type DistributiveConditionalType<T> = T extends U ? X : Y;
+```
+
+Distributive conditional types are automatically distributed over union types during instantiation.
+
+Example:
+
+```ts
+  DistributiveConditionalType<A | B | C>
+= (A | B | C) extends U ? X : Y
+= (A extends U ? X : Y) | (B extends U ? X : Y) | (C extends U ? X : Y)
+```
diff --git a/question.md b/question.md
@@ -0,0 +1,13 @@
+Given
+
+```ts
+type DistributiveConditionalType<T1, T2> = T1 extends T2 ? true : false;
+```
+
+Then
+
+```ts
+  DistributiveConditionalType<never, 1> // why resolved as 👉 never?
+= (never) extends (1) ? true : false    // why resolved as 👉 true?
+= ??? // How does the 👉 distribution look like?
+```