Sum types are not novel (Standard ML had them 40 years ago), but I think they are indeed a game changer.
Sum types are not novel (Standard ML had them 40 years ago), but I think they are indeed a game changer.