Make proveIs{Win,Loss} return an outcome rather than a bool. "False" is not helpful.
Remove outdated header
Remove unnecessary do-notation
Remove unnecessary compareIO
Clean up firstPassIO.