module Data.Set (Var "addToSet",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "cardinality",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "delFromSet",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "elementOf",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "emptySet",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "intersect",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "isEmptySet",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "mapSet",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "minusSet",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "mkSet",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "setToList",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "union",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "unionManySets",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "unitSet",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False}) (TypeClass "Set",TyCls (Ty [] []))