It also doesn't actually accomplish what people are talking about using sum types for. There's also no language support for ensuring you've exhaustively matched

It also doesn't actually accomplish what people are talking about using sum types for. There's also no language support for ensuring you've exhaustively matched every variant.