diff --git a/trans/desugar.str b/trans/desugar.str
index e4f52cf..bfb4ecf 100644
--- a/trans/desugar.str
+++ b/trans/desugar.str
@@ -13,8 +13,7 @@ rules
   */
   deISe:      ISequence(Prior(l),x) -> Sequence(<conc>(l, [x]))
 
-  enList: x -> [x]
-  seqFlatten: Sequence(l) -> Sequence(<mapconcat(?Sequence(<id>) <+ enList)>l)
+  seqFlatten: Sequence(l) -> Sequence(<mapconcat(?Sequence(<id>) <+ ![<id>])>l)
   
 strategies