“The type system requires that you check for that [nothing] value before it will let you get at the Integer that might be there. This prevents a remarkable number of bugs.” (context)

This is why haskell is awesome.