Not enough to add sum types or exhaustive pattern matching... now F# - that was appreciated by someone that appreciates type systems.