There is no need for sum types in a dynamically typed language that provides checking the type conditionally. Sum types are, in effect, a small domain of dynam

There is no need for sum types in a dynamically typed language that provides checking the type conditionally. Sum types are, in effect, a small domain of dynamic typing.