I personally think that sum types (discriminated unions) are essential for a "modern statically-typed language."