Force `parmap` to have `deepseq` behavior on each element of the sequence.
Force `parmap` to have `deepseq` behavior on each element of the sequence.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol