>>>>> David Luposchainsky <dluposchainsky at googlemail.com> writes: > the subject says it all. After we successfully put `=>` > into Monad, it is time to remove something in return: `fail`. +1 John