You understood correctly! In the Equal type, TypeScript compares the behaviors of the functions. The first function always returns 1, while the second only returns 1 for T = 1, so they're not equivalent, resulting in false. In FuncTest, both functions return compatible types, leading to true. Your grasp of structural typing is spot on!