Type a pipe() That Checks Every Step: Variadic Tuples, infer and One Recursive Type

Effect types pipe() with 20 overloads. Build one recursive type that checks every step, test it with @ts-expect-error, and see where overloads still win.