Stop Cheating the Type System

It's easier to change to f#/ocaml/ml/sml.

In c# you always have to check your arguments. You cannot be sure if it is null or not.

It's strange see how unboxes values cannot be null and objects/boxes can be. The logic should be all or nothing. Inheritance of c.

Tony Hoare called null references his "billion dollar mistake": http://www.infoq.com/presentations/Null-References-The-Billi....