redo
type Result<E> = Result<(), E>;
A specialized Result that does not carry any data on success.
Result