SampleEvidenceReport
Parameters
samples
entries the binding returned.
distinctSamples
entries no earlier entry equalled, by ==. See checkSampleEvidenceFloor for why this is counted rather than taken from a Set, and for what == is the right relation.