I'm working through a few papers, and life would be much better if wingman could reason about `Void`s.