Sum types would be nice to describe protocols such a grpc as well (given suitable syntactic sugar to switch on them). I think sum types, possibly in combinatio

Sum types would be nice to describe protocols such a grpc as well (given suitable syntactic sugar to switch on them). I think sum types, possibly in combination with tuples would have been nicer than multiple return values. But I guess everyone has their particular wish list of what a programming language should be :-)