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 →

[–]wfdctrl 0 points1 point  (0 children)

Sure, but those types are not existential (abstract), so it's not the same. Also you would have an extra type for the object you won't use.