El

FoldResultEvidence

EmptyCons

dsl

evidence

FoldResultEvidenceLowPrio