Sum types, 2024 variant

[ingo]

As I now little of these things, this I would understand without thinking too 
much,
    
    
    type
      Option[T] = object of
        either Some: T
        or None: discard
      
      Either[A,B] = object of
        either Le: A
        or Ri: T
    
    
    Run
    
    
    type
      Option[T] = object of
        or Some: T
        or None: discard
      
      Either[A,B] = object of
        or Le: A
        or Ri: T
    
    
    Run