It's more closely related to the `concept` from the Indiana proposal from C++0x (which is structural) rather than the one in C++20, which is most like the expression syntax. (That syntax was lifted nearly unscathed from Spad.)

They're both missing the Indiana `concept_map` which were runtime-free functors -- like -- proper functors.