Success.Pure
data
Success
a b
Creation
nothing
failure
success
Execution
asEither
asMaybe