Allow typechecker to interpret WaitHandle result()