24 Aug
2014
24 Aug
'14
10:08 p.m.
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.