The problem it introduces is that you could have gotten rid of nulls from the language if you use sum types for errors.