import Data.Monoid
import qualified Data.Set as Set
import qualified Data.List as List
+import Data.Typeable
{-
-- for quick check
withBar bars = "| ":bars
withEmpty bars = " ":bars
+{--------------------------------------------------------------------
+ Typeable
+--------------------------------------------------------------------}
+
+#include "Typeable.h"
+INSTANCE_TYPEABLE2(Map,mapTc,"Map")
{--------------------------------------------------------------------
Assertions