Revert "Implement `goEff` directly"

This reverts commit 08112dae61ecac973222eb3b56793cc68b73f52f.