1 files changed, 7 insertions, 4 deletions
diff --git a/src/AST/Weaken/Auto.hs b/src/AST/Weaken/Auto.hs
index 0bf5780..444c540 100644
--- a/src/AST/Weaken/Auto.hs
+++ b/src/AST/Weaken/Auto.hs
@@ -18,7 +18,7 @@
 {-# OPTIONS_GHC -Wno-partial-type-signatures #-}
 module AST.Weaken.Auto (
   autoWeak,
-  ($..), auto,
+  (&.), auto, auto1,
   Layout(..),
 ) where
 
@@ -56,9 +56,12 @@ instance (KnownSymbol name, name ~ name', segs ~ '[ '(name', ts)]) => IsLabel na
 auto :: KnownListSpine list => SList (Const ()) list
 auto = knownListSpine
 
-infixr $..
-($..) :: SSegments segs1 -> SSegments segs2 -> SSegments (Append segs1 segs2)
-($..) = ssegmentsAppend
+auto1 :: SList (Const ()) '[t]
+auto1 = Const () `SCons` SNil
+
+infixr &.
+(&.) :: SSegments segs1 -> SSegments segs2 -> SSegments (Append segs1 segs2)
+(&.) = ssegmentsAppend
   where
     ssegmentsAppend :: SSegments a -> SSegments b -> SSegments (Append a b)
     ssegmentsAppend SSegNil l2 = l2