I'm not arguing untyped is good: it's most certainly not. Everything nullable is also bad, and also introduces a limited some type (Maybe). What I am saying is

I'm not arguing untyped is good: it's most certainly not. Everything nullable is also bad, and also introduces a limited some type (Maybe). What I am saying is if you have static types (good) but don't do anything else, you loose sums (bad). You then need to add (back) sums.