I really enjoyed the insights here. I wish people more liberally made custom condition and error types and defined many restarts around where they are signaled.