I don't think the usual criticisms of NULL are satisfied by it becoming slightly more type-safe.