/**
* Lifts an `Maybe` into a `IO`, if the option is not defined it fails with
* `void`.
*
* @tsplus static effect/core/io/Effect.Ops getOrFailDiscard
*/
export function getOrFailDiscard(option: Maybe): Effect {
return Effect.getOrFailWith(option, undefined)
}