Isn't this just the Maybe monad without any benefits of abstraction?