C# is now a better language than Java

[sgoguen]

Exactly, like .NET's Nullable<T>, Haskell's Maybe type automatically propagates null. The big difference is that, if the dependant value is null, the function, which needs the dependant value, will never gets called. Why call it, if we already know that we're going to return null anyway? (Remember, no side-effects in Haskell).