Trait Effect
eff
pub trait Effect { type Output; }
A computational effect that will be resolved to Output
Output
type Output
impl<R> Effect for Continue<R>
type Output = R