If wait_for simply returns any return from Fun other than 'wait' (and Fun is constructed correctly) no case is needed here.