I'd like a concept check to check for two types being the same type.

I can see how to write such a concept, but this is such an obvious requirement

that either there should be one already, or there's some blindingly obvious reason

why you never need one, a reason that escapes me.

A little guidance would be appreciated.

Thanks, Rob.