Topic/go eff

There was an extra function wrapping the `Right` result. This change should do the trick. Running the example will now trace "fake inputfake input" at the end.