Success.Pure

data Success a b

Creation

nothing

failure

success

Execution

asEither

asMaybe