type of errors: exceptions or failure messages
type of errors: exceptions or failure messages
base type for this effect: either an error or a computation to evaluate a "by-name" value
base type for this effect: either an error or a computation to evaluate a "by-name" value
create an Eff value from an error
create an Eff value from a computation
create an Eff value from an exception
create an Eff value from a failure
create an Eff value from a computation