Module either
eff
Either of the two underlying effectful computation
An effectful computation that is either of the two underlying ones