feat(question): add #62 - Type Lookup (#63)

Co-authored-by: Anthony Fu <11247099+antfu@users.noreply.github.com>

questions/62-medium-type-lookup/README.md

@@ -0,0 +1,18 @@
+Sometimes, you may want to lookup for a type in a union to by their attributes. 
+
+In this challenge, I would like to have get the couponing type by searching for the common `type` field in the union `Cat | Dog`. In other words, I will expect to get `Dog` for `LookUp<Dog | Cat, 'dog'>` and `Cat` for `LookUp<Dog | Cat, 'cat'>` in the following example.
+
+```ts
+interface Cat {
+  type: 'cat'
+  breeds: 'Abyssinian' | 'Shorthair' | 'Curl' | 'Bengal'
+}
+
+interface Dog {
+  type: 'dog'
+  breeds: 'Hound' | 'Brittany' | 'Bulldog' | 'Boxer'
+  color: 'brown' | 'white' | 'black'
+}
+
+const MyDog = LookUp<Cat | Dog, 'dog'> // expected to be `Dog`
+```

questions/62-medium-type-lookup/info.yml

@@ -0,0 +1,7 @@
+difficulty: medium
+title: Type Lookup
+tags: 'union, map'
+author:
+  github: antfu
+  name: Anthony Fu
+

questions/62-medium-type-lookup/template.ts

@@ -0,0 +1 @@
+type LookUp<U, T> = any

questions/62-medium-type-lookup/test-cases.ts

@@ -0,0 +1,19 @@
+import { Equal, Expect } from '@type-challenges/utils'
+
+interface Cat {
+  type: 'cat'
+  breeds: 'Abyssinian' | 'Shorthair' | 'Curl' | 'Bengal'
+}
+
+interface Dog {
+  type: 'dog'
+  breeds: 'Hound' | 'Brittany' | 'Bulldog' | 'Boxer'
+  color: 'brown' | 'white' | 'black'
+}
+
+type Animal = Cat | Dog
+
+type cases = [
+  Expect<Equal<LookUp<Animal, 'dog'>, Dog>>,
+  Expect<Equal<LookUp<Animal, 'cat'>, Cat>>,
+]