Refactor with `infer ... extends`

[eric-simonton-sama]

Look for ways to simplify internal code with infer extends: https://dev.to/pffigueiredo/2-new-killer-features-coming-to-typescript-3b5j