Why are we restricted to `void` results?