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