Success.Impure
data
Success
a m b
run
nothing
failure
success