That has been done with option types in functional languages since at least the 80s. It's not hard.