FinalCons
shared
FoldResultEvidence
shared
FoldResultEvidenceLowPrio
shared
foldCase
TypeLevelFoldLeftLowPrio
folderLeftList
TypeLevelFoldLeftListLowPrio