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