Re: Return SUM types from proc

[flyx]

References (or pointers) are a prerequisite for runtime polymorphism since they 
are the only way to have differently typed values fit into the same memory 
location, since all pointers have the same size. Might not be true for all 
languages.