No we should not support enum types derived from strings

[Ola Fosheim Grøstad]

On Wednesday, 12 May 2021 at 12:11:22 UTC, deadalnix wrote:
> This is a clear demonstration that C++'s type system is unsound 
> here.

In fairness all generic low level programming languages that are 
practical to use have somewhat unsound type systems. Only high 
level languages can be fully sound (detect invalid programs at 
runtime and abort). C++ was forced into this mold by C though...

(You can have heavily constrained low level languages that are 
sound)

> It is unsound because it has the property that you mentioned in 
> your post: the pointer is monomorphic and the value this

What does monomorphic mean in this context? Why would not this 
hold:

*Singleton <: *Anything

I find the discussion very confusing at this point.