Still unsure exactly how to, but it would be nice if Mypy stopped complaining about the `nondeterminism` module.