Attribute Macro eff_attr::eff

#[eff]

Declare the function to be an effectful computation whose effect type is the coproduct of the arguments

This macro transforms the function like what async fn does