That's a universe apart from real sum types with exhaustiveness checking and pattern matching.