Making Generic Functions Pass Type Checking

When using advanced TypeScript patterns like Conditional Types, Mapped Types or Recursive Types, making the type-checker accept our code is sometimes challenging. Here is the best way to make it work.