Implicit void result Ok(())

This proposal is relevant: Pre-RFC: Catching Functions