>>24That has nothing to do with man-or-boy. If you could read you would know C++ does a fine job of the test and Rust wouldn't do such a poor job if it were more like C++. You're confusing syntax with semantics. You probably don't even know how the code in
>>20 works.
FYI HKTs were not rejected, and I'll save you some time: nor were effects or dependent types.