Literally the only thing I miss about #Scala these days is the proper contravariance that the Nothing type gives you. But tbh most of the time at work I'm not creating APis that need to be that degree of abstraction. It sure would enable cleaning up a lot of the existing ones though.