Merge from daniel

randcool/randcool.hs

@@ -43,8 +43,8 @@ instance Mod K where
 newtype G = G Nat
 
 instance Mod G where
-  showDia (G n) = showString "{>"  . shows n . showString " r}"
-  showBox (G n) = showString "{<=" . shows n . showString " r}"
+  showDia (G n) = showString "{>= "  . shows n . showString " r}"
+  showBox (G n) = showString "{<= " . shows n . showString " r}"
 
 
 newtype CL = CL I.IntSet