Success.Impure

data Success a m b

run

nothing

failure

success