Why do enum variants with no associated values need to be represented with an Object of type Hole?

[neuroevolutus]

Would it be possible to obviate the use of Hole by changing the type of the value field of the Variant class to Optional[Object]?

[tekknolagi]

I mean, maybe? Right now we have a pretty consistent theme of always having a parameter and use Hole for dummy parameters to functions or variants. It's a real value, though.

Syntactically, I wouldn't mind getting rid of it, but I think it makes parsing nontrivial. If you have a solution to this, I would be very interested. Can OCaml/Haskell only do this because they require parentheses or something?

[neuroevolutus]

You raise a good point. I'll have to think about this.