Comment by tatterdemalion

Do you stay away from all type systems? This would be an accurate negative framing for any type system, which all necessarily reject some correct programs.