Once union types land, it will just need first class support for checked errors instead of unchecked exceptions flying around everywhere.