Comment by tibbe

This missed the point. The point of not that you can forget to check the null case. The point is that you can express that sometimes there's no null case.