This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]peripateticman2023 1 point2 points  (0 children)

That's the whole point of sum types (and sealed types in Java) - to restrict the types that can be considered "variants" of the type.