2 ms·That isn't a type constraint — it's a value-level behavior enforced at runtime.by chc 12y agoThat isn't a type constraint — it's a value-level behavior enforced at runtime.