UniqDFM
data UniqDFM ele
emptyUDFM
unitUDFM
addToUDFM
delFromUDFM
delListFromUDFM
adjustUDFM
alterUDFM
mapUDFM
plusUDFM
lookupUDFM
elemUDFM
foldUDFM
eltsUDFM
filterUDFM
isNullUDFM
sizeUDFM
intersectUDFM
intersectsUDFM
disjointUDFM
minusUDFM
partitionUDFM
udfmToList
udfmToUfm
alwaysUnsafeUfmToUdfm