A monadic wrapper for dealing with existence