I’m trying to do some bizarre stuff with poly variants. I suspect what I want to do is not possible (and should not be possible), and I’ll follow up with some questions once I figure out what those questions are.
In the meantime, I have a simpler question. I noticed in the lower bound docs that a type is being assigned
type basicBlueTone<'a> = [> #Blue | #DeepBlue | #LightBlue ] as 'a
Intuitively, I can see what’s going on here, but I want to know how far I can push it. Can I define a type with a
as generic parameter as well as other fields, for example?
I found the (lack of) docs on covariance ticket, but I can’t tell if it’s a related concept.