create an Option effect from a single Option value
create an Option effect from a single Option value
no value returned
no value returned
Interpret the Option effect
Interpret the Option effect
Stop all computations if None is present once
a value is returned
a value is returned