where toString (Set a) = abort "toString not implemented"\r
\r
instance == Set\r
-where == a b = abort "== instance voor Set nog niet geimplementeerd.\n"\r
+where \r
+ (==) (Set []) (Set []) = True\r
+ (==) (Set []) _ = False\r
+ (==) _ (Set []) = False\r
\r
toSet :: a -> Set | Set a\r
toSet a = Set [dynamic a]\r