Defining a concept with strict type-checking of method arguments

I have the following:

Deep validation of a C++ concept

Apparently, C++ concepts are only shallow.

Use concepts to check inheritance from templated class with only partially known template parameters

For the following type system,

c++ concepts and template parameters

The following code is fine