UniqDFM
data UniqDFM ele
emptyUDFM
unitUDFM
addToUDFM
addToUDFM_C
delFromUDFM
delListFromUDFM
adjustUDFM
alterUDFM
mapUDFM
plusUDFM
plusUDFM_C
lookupUDFM
elemUDFM
foldUDFM
eltsUDFM
filterUDFM
filterUDFM_Directly
isNullUDFM
sizeUDFM
intersectUDFM
udfmIntersectUFM
intersectsUDFM
disjointUDFM
disjointUdfmUfm
minusUDFM
udfmMinusUFM
partitionUDFM
anyUDFM
udfmToList
udfmToUfm
nonDetFoldUDFM
alwaysUnsafeUfmToUdfm