I was hoping from the tagline it would have sum types (rust-like payloads on enums, like Swift).