[epolanski]

Could you expand on your first sentence? I don't understand what do you mean that sum types are used when the type is unknown at runtime.

[lupire]

They meant unknown at compile-time, not run-time.