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