Viewing profile — univalence

They explicitly offered to do that, and also suggested 3 other solutions to address his concern, and he shot all suggestions down with what amounted to "I already told you what I w…

It will not, because code inside a do-block is sequenced. The value `first` in the line `first <-computeFirst` is a non-error value. If computeFirst fails, the value does not exist…