Defined in Return value The value of the monadic type if present otherwise the user provided fallback value TODO