diff --git a/src/Data/SExp/Data.hs b/src/Data/SExp/Data.hs
--- a/src/Data/SExp/Data.hs
+++ b/src/Data/SExp/Data.hs
@@ -5,6 +5,7 @@
   , OpenLink(..) , OpenSExp(..)
   , SExp(..), SExpLink(..)
   , DualSExp(..), DualSExpLink(..)
+  , sexpSymbolValue, sexpToList, sexpLinkToList, listToSExp, listToSExpLink
   ) where
 
 import Data.Generics
@@ -21,25 +22,36 @@
 
 data AntiAtom =
   -- | Created with QuasiQuotes of form @[sexp| \@:name |]@. Will be converted
-  -- to expression or pattern of type 'SExp'.
+  -- to expression or pattern of type 'SExp'.  @name@ will be bound with type
+  -- 'SExp'.
     ValueAntiAtom String
   -- | Created with QuasiQuotes of form @[sexp| \@atom:name |]@. Will be
-  -- converted to expression or pattern of type 'Atom'.
+  -- converted to expression or pattern of type 'SExp'.  @name@ will be bound
+  -- with type 'Atom'.
   | AtomAntiAtom String
+  -- | Created with QuasiQuotes of form @[sexp| \@list:name |]@. Will be
+  -- converted to expression or pattern of type 'SExp'.  @name@ will be bound
+  -- with type '[SExp]'.
+  | ListAntiAtom String
   -- | Created with QuasiQuotes of form @[sexp| \@str:name |]@. Will be
-  -- converted to expression or pattern of type 'Atom'.
+  -- converted to expression or pattern of type 'SExp'.  @name@ will be bound
+  -- with type 'String'.
   | StringAntiAtom String
   -- | Created with QuasiQuotes of form @[sexp| \@bool:name |]@.  Will be
-  -- converted to expression or pattern of type 'Atom'.
+  -- converted to expression or pattern of type 'SExp'.  @name@ will be bound
+  -- with type 'Bool'.
   | BooleanAntiAtom String
   -- | Created with QuasiQuotes of form @[sexp| \@int:name |]@.  Will be
-  -- converted to expression or pattern of type 'Atom'.
+  -- converted to expression or pattern of type 'SExp'.  @name@ will be bound
+  -- with type 'Integer'.
   | IntegerAntiAtom String
   -- | Created with QuasiQuotes of form @[sexp| \@float:name |]@.  Will be
-  -- converted to expression or pattern of type 'Atom'.
+  -- converted to expression or pattern of type 'SExp'.  @name@ will be bound
+  -- with type 'Double'.
   | FloatingAntiAtom String
   -- | Created with QuasiQuotes of form @[sexp| \@sym:name |]@.  Will be
-  -- converted to expression or pattern of type 'Atom'.
+  -- converted to expression or pattern of type 'SExp'.  @name@ will be bound
+  -- with type 'String'.
   | SymbolAntiAtom String
   deriving (Eq, Ord, Show, Typeable, Data)
 
@@ -71,6 +83,25 @@
 
 data DualSExpLink =
     PositiveDualSExpLink (OpenLink DualSExp DualSExpLink)
-  | AntiConsDualSExpLink String
+  | AntiConsValueDualSExpLink String
+  | AntiConsListDualSExpLink String
   deriving (Eq, Ord, Show, Typeable, Data)
 
+sexpSymbolValue :: SExp -> Maybe String
+sexpSymbolValue (SExp (AtomSExp (SymbolAtom s))) = Just s
+sexpSymbolValue _ = Nothing
+
+sexpToList :: SExp -> Maybe [SExp]
+sexpToList (SExp (LinkSExp l)) = Just $ sexpLinkToList l
+sexpToList _ = Nothing
+
+sexpLinkToList :: SExpLink -> [SExp]
+sexpLinkToList (SExpLink NullLink) = []
+sexpLinkToList (SExpLink (ConsLink h t)) = h:sexpLinkToList t
+
+listToSExp :: [SExp] -> SExp
+listToSExp ss = SExp . LinkSExp $ listToSExpLink ss
+
+listToSExpLink :: [SExp] -> SExpLink
+listToSExpLink [] = SExpLink NullLink
+listToSExpLink (s:ss) = SExpLink . ConsLink s $ listToSExpLink ss
diff --git a/src/Data/SExp/Parse.hs b/src/Data/SExp/Parse.hs
--- a/src/Data/SExp/Parse.hs
+++ b/src/Data/SExp/Parse.hs
@@ -5,8 +5,8 @@
   , stringTokenValueM, booleanTokenValueM, integerTokenValueM, floatingTokenValueM
   , symbolTokenValueM, lParenTokenValueM, rParenTokenValueM, whitespaceTokenValueM
   , commentTokenValueM, antiConsTokenValueM, antiValueTokenValueM, antiAtomTokenValueM
-  , antiStringTokenValueM, antiBooleanTokenValueM, antiIntegerTokenValueM, antiFloatingTokenValueM
-  , antiSymbolTokenValueM
+  , antiListTokenValueM, antiStringTokenValueM, antiBooleanTokenValueM, antiIntegerTokenValueM
+  , antiFloatingTokenValueM, antiSymbolTokenValueM
   , isDiscardSExpToken
   , sexpTokens
   , lexSExp
@@ -16,6 +16,7 @@
   , convertAtomP, convertAntiAtomToValueP
   , convertOpenLinkP
   , sexp, sexpl
+  , unparseAtom, unparseSExp
   , lexOne, tokParse, qtokParse
   ) where
 
@@ -50,6 +51,7 @@
   | AntiConsToken
   | AntiValueToken String
   | AntiAtomToken String
+  | AntiListToken String
   | AntiStringToken String
   | AntiBooleanToken String
   | AntiIntegerToken String
@@ -86,6 +88,8 @@
 antiValueTokenValueM t = case t of (AntiValueToken n) -> Just n ; _ -> Nothing
 antiAtomTokenValueM :: SExpToken -> Maybe String
 antiAtomTokenValueM t = case t of (AntiAtomToken n) -> Just n ; _ -> Nothing
+antiListTokenValueM :: SExpToken -> Maybe String
+antiListTokenValueM t = case t of (AntiListToken n) -> Just n ; _  -> Nothing
 antiStringTokenValueM :: SExpToken -> Maybe String
 antiStringTokenValueM t = case t of (AntiStringToken n) -> Just n ; _ -> Nothing
 antiBooleanTokenValueM :: SExpToken -> Maybe String
@@ -163,6 +167,7 @@
   , string "@~" >> return AntiConsToken
   , string "@:" >> liftM AntiValueToken antiName
   , string "@atom:" >> liftM AntiAtomToken antiName
+  , string "@list:" >> liftM AntiListToken antiName
   , string "@str:" >> liftM AntiStringToken antiName
   , string "@bool:" >> liftM AntiBooleanToken antiName
   , string "@int:" >> liftM AntiIntegerToken antiName
@@ -206,6 +211,7 @@
 antiConsTok     :: SExpParser ()      ; antiConsTok     = sexpTokenParser antiConsTokenValueM
 antiValueTok    :: SExpParser String  ; antiValueTok    = sexpTokenParser antiValueTokenValueM
 antiAtomTok     :: SExpParser String  ; antiAtomTok     = sexpTokenParser antiAtomTokenValueM
+antiListTok     :: SExpParser String  ; antiListTok     = sexpTokenParser antiListTokenValueM
 antiStringTok   :: SExpParser String  ; antiStringTok   = sexpTokenParser antiStringTokenValueM
 antiBooleanTok  :: SExpParser String  ; antiBooleanTok  = sexpTokenParser antiBooleanTokenValueM
 antiIntegerTok  :: SExpParser String  ; antiIntegerTok  = sexpTokenParser antiIntegerTokenValueM
@@ -225,6 +231,7 @@
 antiAtomP = msum
   [ liftM ValueAntiAtom antiValueTok
   , liftM AtomAntiAtom antiAtomTok
+  , liftM ListAntiAtom antiListTok 
   , liftM StringAntiAtom antiStringTok
   , liftM BooleanAntiAtom antiBooleanTok
   , liftM IntegerAntiAtom antiIntegerTok
@@ -262,8 +269,13 @@
       return . PositiveDualSExpLink $ ConsLink s ss
   , do 
       antiConsTok 
-      anti <- antiValueTok 
-      return $ AntiConsDualSExpLink anti
+      msum [ do
+               anti <- antiValueTok 
+               return $ AntiConsValueDualSExpLink anti
+           , do
+               anti <- antiListTok
+               return $ AntiConsListDualSExpLink anti
+           ]
   , return $ PositiveDualSExpLink NullLink
   ]
 
@@ -283,14 +295,15 @@
 convertAtomE (FloatingAtom f) = conE 'FloatingAtom `appE` litE (rationalL (toRational f))
 convertAtomE (SymbolAtom s) = conE 'SymbolAtom `appE` litE (stringL s)
 
-convertAntiAtomToValueE :: AntiAtom -> (Q Exp -> Q Exp) -> Q Exp
-convertAntiAtomToValueE (ValueAntiAtom name) _ = varE $ mkName name
-convertAntiAtomToValueE (AtomAntiAtom name) qatom = qatom . varE $ mkName name
-convertAntiAtomToValueE (StringAntiAtom name) qatom = qatom $ conE 'StringAtom `appE` varE (mkName name)
-convertAntiAtomToValueE (BooleanAntiAtom name) qatom = qatom $ conE 'BooleanAtom `appE` varE (mkName name)
-convertAntiAtomToValueE (IntegerAntiAtom name) qatom = qatom $ conE 'IntegerAtom `appE` varE (mkName name)
-convertAntiAtomToValueE (FloatingAntiAtom name) qatom = qatom $ conE 'FloatingAtom `appE` varE (mkName name)
-convertAntiAtomToValueE (SymbolAntiAtom name) qatom = qatom $ conE 'SymbolAtom `appE` varE (mkName name)
+convertAntiAtomToValueE :: AntiAtom -> (Q Exp -> Q Exp) -> (Q Exp -> Q Exp) -> Q Exp
+convertAntiAtomToValueE (ValueAntiAtom name) _ _ = varE $ mkName name
+convertAntiAtomToValueE (AtomAntiAtom name) qatom _ = qatom . varE $ mkName name
+convertAntiAtomToValueE (ListAntiAtom name) _ qlistToValue = qlistToValue . varE $ mkName name
+convertAntiAtomToValueE (StringAntiAtom name) qatom _ = qatom $ conE 'StringAtom `appE` varE (mkName name)
+convertAntiAtomToValueE (BooleanAntiAtom name) qatom _ = qatom $ conE 'BooleanAtom `appE` varE (mkName name)
+convertAntiAtomToValueE (IntegerAntiAtom name) qatom _ = qatom $ conE 'IntegerAtom `appE` varE (mkName name)
+convertAntiAtomToValueE (FloatingAntiAtom name) qatom _ = qatom $ conE 'FloatingAtom `appE` varE (mkName name)
+convertAntiAtomToValueE (SymbolAntiAtom name) qatom _ = qatom $ conE 'SymbolAtom `appE` varE (mkName name)
 
 convertOpenSExpE :: (l -> Q Exp) -> OpenSExp l -> Q Exp
 convertOpenSExpE _ (AtomSExp a) = conE 'AtomSExp `appE` convertAtomE a
@@ -304,13 +317,16 @@
 convertDualSExpToSExpE (PositiveDualSExp p) = 
   conE 'SExp `appE` convertOpenSExpE convertDualSExpToSExpLinkE p
 convertDualSExpToSExpE (AntiAtomDualSExp aa) = 
-  convertAntiAtomToValueE aa $ \ x -> conE 'SExp `appE` (conE 'AtomSExp `appE` x)
+  convertAntiAtomToValueE aa (\ x -> conE 'SExp `appE` (conE 'AtomSExp `appE` x))
+                             (\ x -> varE 'listToSExp `appE` x)
 
 convertDualSExpToSExpLinkE :: DualSExpLink -> Q Exp
 convertDualSExpToSExpLinkE (PositiveDualSExpLink p) = 
   conE 'SExpLink `appE` convertOpenLinkE convertDualSExpToSExpE convertDualSExpToSExpLinkE p
-convertDualSExpToSExpLinkE (AntiConsDualSExpLink name) =
+convertDualSExpToSExpLinkE (AntiConsValueDualSExpLink name) =
   conE 'SExpLink `appE` varE (mkName name)
+convertDualSExpToSExpLinkE (AntiConsListDualSExpLink name) =
+  varE 'listToSExpLink `appE` varE (mkName name)
 
 convertAtomP :: Atom -> Q Pat
 convertAtomP (StringAtom s) = conP 'StringAtom [litP (stringL s)]
@@ -320,21 +336,23 @@
 convertAtomP (FloatingAtom f) = conP 'FloatingAtom [litP (rationalL (toRational f))]
 convertAtomP (SymbolAtom s) = conP 'SymbolAtom [litP (stringL s)]
 
-convertAntiAtomToValueP :: AntiAtom -> (Q Pat -> Q Pat) -> Q Pat
-convertAntiAtomToValueP (ValueAntiAtom "_") _ = wildP
-convertAntiAtomToValueP (ValueAntiAtom name) _ = varP $ mkName name
-convertAntiAtomToValueP (AtomAntiAtom "_") qatom = qatom wildP
-convertAntiAtomToValueP (AtomAntiAtom name) qatom = qatom . varP $ mkName name
-convertAntiAtomToValueP (StringAntiAtom "_") qatom = qatom $ conP 'StringAtom [wildP]
-convertAntiAtomToValueP (StringAntiAtom name) qatom = qatom $ conP 'StringAtom [varP $ mkName name]
-convertAntiAtomToValueP (BooleanAntiAtom "_") qatom = qatom $ conP 'BooleanAtom [wildP]
-convertAntiAtomToValueP (BooleanAntiAtom name) qatom = qatom $ conP 'BooleanAtom [varP $ mkName name]
-convertAntiAtomToValueP (IntegerAntiAtom "_") qatom = qatom $ conP 'IntegerAtom [wildP]
-convertAntiAtomToValueP (IntegerAntiAtom name) qatom = qatom $ conP 'IntegerAtom [varP $ mkName name]
-convertAntiAtomToValueP (FloatingAntiAtom "_") qatom = qatom $ conP 'FloatingAtom [wildP]
-convertAntiAtomToValueP (FloatingAntiAtom name) qatom = qatom $ conP 'FloatingAtom [varP $ mkName name]
-convertAntiAtomToValueP (SymbolAntiAtom "_") qatom = qatom $ conP 'SymbolAtom [wildP]
-convertAntiAtomToValueP (SymbolAntiAtom name) qatom = qatom $ conP 'SymbolAtom [varP $ mkName name]
+convertAntiAtomToValueP :: AntiAtom -> (Q Pat -> Q Pat) -> (Q Pat -> Q Pat) -> Q Pat
+convertAntiAtomToValueP (ValueAntiAtom "_") _ _ = wildP
+convertAntiAtomToValueP (ValueAntiAtom name) _ _ = varP $ mkName name
+convertAntiAtomToValueP (AtomAntiAtom "_") qatom _ = qatom wildP
+convertAntiAtomToValueP (AtomAntiAtom name) qatom _ = qatom . varP $ mkName name
+convertAntiAtomToValueP (ListAntiAtom "_") _ qvalueToList = qvalueToList wildP
+convertAntiAtomToValueP (ListAntiAtom name) _ qvalueToList = qvalueToList . varP $ mkName name
+convertAntiAtomToValueP (StringAntiAtom "_") qatom _ = qatom $ conP 'StringAtom [wildP]
+convertAntiAtomToValueP (StringAntiAtom name) qatom _ = qatom $ conP 'StringAtom [varP $ mkName name]
+convertAntiAtomToValueP (BooleanAntiAtom "_") qatom _ = qatom $ conP 'BooleanAtom [wildP]
+convertAntiAtomToValueP (BooleanAntiAtom name) qatom _ = qatom $ conP 'BooleanAtom [varP $ mkName name]
+convertAntiAtomToValueP (IntegerAntiAtom "_") qatom _ = qatom $ conP 'IntegerAtom [wildP]
+convertAntiAtomToValueP (IntegerAntiAtom name) qatom _ = qatom $ conP 'IntegerAtom [varP $ mkName name]
+convertAntiAtomToValueP (FloatingAntiAtom "_") qatom _ = qatom $ conP 'FloatingAtom [wildP]
+convertAntiAtomToValueP (FloatingAntiAtom name) qatom _ = qatom $ conP 'FloatingAtom [varP $ mkName name]
+convertAntiAtomToValueP (SymbolAntiAtom "_") qatom _ = qatom $ conP 'SymbolAtom [wildP]
+convertAntiAtomToValueP (SymbolAntiAtom name) qatom _ = qatom $ conP 'SymbolAtom [varP $ mkName name]
 
 convertOpenSExpP :: (l -> Q Pat) -> OpenSExp l -> Q Pat
 convertOpenSExpP _ (AtomSExp a) = conP 'AtomSExp [convertAtomP a]
@@ -348,13 +366,16 @@
 convertDualSExpToSExpP (PositiveDualSExp p) =
   conP 'SExp [convertOpenSExpP convertDualSExpToSExpLinkP p]
 convertDualSExpToSExpP (AntiAtomDualSExp aa) =
-  convertAntiAtomToValueP aa $ \ x -> conP 'SExp [conP 'AtomSExp [x]]
+  convertAntiAtomToValueP aa (\ x -> conP 'SExp [conP 'AtomSExp [x]])
+                             (\ x -> viewP (varE 'sexpToList) (conP 'Just [x]))
 
 convertDualSExpToSExpLinkP :: DualSExpLink -> Q Pat
 convertDualSExpToSExpLinkP (PositiveDualSExpLink p) = 
   conP 'SExpLink [convertOpenLinkP convertDualSExpToSExpP convertDualSExpToSExpLinkP p]
-convertDualSExpToSExpLinkP (AntiConsDualSExpLink name) =
+convertDualSExpToSExpLinkP (AntiConsValueDualSExpLink name) =
   conP 'SExpLink [varP (mkName name)]
+convertDualSExpToSExpLinkP (AntiConsListDualSExpLink name) =
+  viewP (varE 'sexpLinkToList) (varP (mkName name))
 
 sexp :: QuasiQuoter
 sexp = QuasiQuoter 
@@ -371,6 +392,30 @@
   , quoteType = undefined
   , quoteDec = undefined
   }
+
+-- Unparsing
+
+unparseAtom :: Atom -> String
+unparseAtom (StringAtom s) = printf "\"%s\"" (concatMap escape s)
+  where
+    escape '\n' = "\\n"
+    escape '"' = "\\\""
+    escape '\\' = "\\\\"
+    escape o = [o]
+unparseAtom (BooleanAtom True) = "true"
+unparseAtom (BooleanAtom False) = "false"
+unparseAtom (IntegerAtom i) = show i
+unparseAtom (FloatingAtom f) = show f
+unparseAtom (SymbolAtom s) = s
+
+unparseSExp :: SExp -> String
+unparseSExp (SExp (AtomSExp a)) = unparseAtom a
+unparseSExp (SExp (LinkSExp (SExpLink NullLink))) = "()"
+unparseSExp (SExp (LinkSExp (SExpLink (ConsLink h t)))) = printf "(%s%s)" (unparseSExp h) (unparseInList t)
+
+unparseInList :: SExpLink -> String
+unparseInList (SExpLink NullLink) = ""
+unparseInList (SExpLink (ConsLink h t)) = printf " %s%s" (unparseSExp h) (unparseInList t)
 
 -- Helpers
 
diff --git a/src/Data/STData/Data.hs b/src/Data/STData/Data.hs
--- a/src/Data/STData/Data.hs
+++ b/src/Data/STData/Data.hs
@@ -4,11 +4,10 @@
   ( OpenSData(..), OpenTData(..)
   , SData(..), SLink(..), TData(..), TLink(..)
   , DualSData(..), DualSLink(..), DualTData(..), DualTLink(..)
-  , sdataToList
+  , sdataSymbolValue, sdataToList, slinkToList, listToSData, listToSLink
   ) where
 
 import Data.Generics
-import Text.Printf
 import Data.SExp
 
 -- Standard ST-Data
@@ -45,7 +44,8 @@
 
 data DualSLink =
     PositiveDualSLink (OpenLink DualSData DualSLink)
-  | AntiConsDualSLink String
+  | AntiConsValueDualSLink String
+  | AntiConsListDualSLink String
   deriving (Eq, Ord, Show, Typeable, Data)
 
 data DualTData = DualTData { unDualTData :: OpenTData DualSLink }
@@ -54,10 +54,21 @@
 data DualTLink = DualTLink { unDualTLink :: OpenLink DualTData DualTLink }
   deriving (Eq, Ord, Show, Typeable, Data)
 
-sdataToList :: SData -> [SData]
-sdataToList (SData (SLinkSData slink)) = slinkToList slink
-sdataToList other = error $ printf "cannot convert sdata to list: %s" (show other)
+sdataSymbolValue :: SData -> Maybe String
+sdataSymbolValue (SData (AtomSData (SymbolAtom s))) = Just s
+sdataSymbolValue _ = Nothing
 
+sdataToList :: SData -> Maybe [SData]
+sdataToList (SData (SLinkSData slink)) = Just $ slinkToList slink
+sdataToList _ = Nothing
+
 slinkToList :: SLink -> [SData]
 slinkToList (SLink NullLink) = []
 slinkToList (SLink (ConsLink s ss)) = s : slinkToList ss
+
+listToSData :: [SData] -> SData
+listToSData ss = SData . SLinkSData $ listToSLink ss
+
+listToSLink :: [SData] -> SLink
+listToSLink [] = SLink NullLink
+listToSLink (s:ss) = SLink . ConsLink s $ listToSLink ss
diff --git a/src/Data/STData/Parse.hs b/src/Data/STData/Parse.hs
--- a/src/Data/STData/Parse.hs
+++ b/src/Data/STData/Parse.hs
@@ -183,6 +183,7 @@
 antiConsTok     :: STDataParser ()      ; antiConsTok     = stDataTokenParser $ sexpSTDataTokenValueM >=> antiConsTokenValueM
 antiValueTok    :: STDataParser String  ; antiValueTok    = stDataTokenParser $ sexpSTDataTokenValueM >=> antiValueTokenValueM
 antiAtomTok     :: STDataParser String  ; antiAtomTok     = stDataTokenParser $ sexpSTDataTokenValueM >=> antiAtomTokenValueM
+antiListTok     :: STDataParser String  ; antiListTok     = stDataTokenParser $ sexpSTDataTokenValueM >=> antiListTokenValueM
 antiStringTok   :: STDataParser String  ; antiStringTok   = stDataTokenParser $ sexpSTDataTokenValueM >=> antiStringTokenValueM
 antiBooleanTok  :: STDataParser String  ; antiBooleanTok  = stDataTokenParser $ sexpSTDataTokenValueM >=> antiBooleanTokenValueM
 antiIntegerTok  :: STDataParser String  ; antiIntegerTok  = stDataTokenParser $ sexpSTDataTokenValueM >=> antiIntegerTokenValueM
@@ -208,6 +209,7 @@
 antiAtomP = msum
   [ liftM ValueAntiAtom antiValueTok
   , liftM AtomAntiAtom antiAtomTok
+  , liftM ListAntiAtom antiListTok
   , liftM StringAntiAtom antiStringTok
   , liftM BooleanAntiAtom antiBooleanTok
   , liftM IntegerAntiAtom antiIntegerTok
@@ -262,8 +264,13 @@
       return . PositiveDualSLink $ ConsLink s ss
   , do 
       antiConsTok 
-      anti <- antiValueTok 
-      return $ AntiConsDualSLink anti
+      msum [ do
+               anti <- antiValueTok 
+               return $ AntiConsValueDualSLink anti
+           , do
+               anti <- antiListTok
+               return $ AntiConsListDualSLink anti
+           ]
   , return $ PositiveDualSLink NullLink
   ]
 
@@ -309,13 +316,16 @@
 convertDualSDataToSDataE (PositiveDualSData p) = 
   conE 'SData `appE` convertOpenSDataE convertDualSDataToSDataLinkE convertDualTDataToTDataLinkE p
 convertDualSDataToSDataE (AntiAtomDualSData aa) = 
-  convertAntiAtomToValueE aa $ \ x -> conE 'SData `appE` (conE 'AtomSData `appE` x)
+  convertAntiAtomToValueE aa (\ x -> conE 'SData `appE` (conE 'AtomSData `appE` x))
+                             (\ x -> varE 'listToSData `appE` x)
 
 convertDualSDataToSDataLinkE :: DualSLink -> Q Exp
 convertDualSDataToSDataLinkE (PositiveDualSLink p) =
   conE 'SLink `appE` convertOpenLinkE convertDualSDataToSDataE convertDualSDataToSDataLinkE p
-convertDualSDataToSDataLinkE (AntiConsDualSLink name) =
+convertDualSDataToSDataLinkE (AntiConsValueDualSLink name) =
   conE 'SLink `appE` varE (mkName name)
+convertDualSDataToSDataLinkE (AntiConsListDualSLink name) =
+  varE 'listToSLink `appE` varE (mkName name)
 
 convertDualTDataToTDataE :: DualTData -> Q Exp
 convertDualTDataToTDataE (DualTData p) = 
@@ -337,13 +347,16 @@
 convertDualSDataToSDataP (PositiveDualSData p) = 
   conP 'SData [convertOpenSDataP convertDualSDataToSDataLinkP convertDualTDataToTDataLinkP p]
 convertDualSDataToSDataP (AntiAtomDualSData aa) = 
-  convertAntiAtomToValueP aa $ \ x -> conP 'SData [conP 'AtomSData [x]]
+  convertAntiAtomToValueP aa (\ x -> conP 'SData [conP 'AtomSData [x]])
+                             (\ x -> viewP (varE 'sdataToList) (conP 'Just [x]))
 
 convertDualSDataToSDataLinkP :: DualSLink -> Q Pat
 convertDualSDataToSDataLinkP (PositiveDualSLink p) =
   conP 'SLink [convertOpenLinkP convertDualSDataToSDataP convertDualSDataToSDataLinkP p]
-convertDualSDataToSDataLinkP (AntiConsDualSLink name) =
+convertDualSDataToSDataLinkP (AntiConsValueDualSLink name) =
   conP 'SLink [varP (mkName name)]
+convertDualSDataToSDataLinkP (AntiConsListDualSLink name) =
+  viewP (varE 'slinkToList) (varP (mkName name))
 
 convertDualTDataToTDataP :: DualTData -> Q Pat
 convertDualTDataToTDataP (DualTData p) = 
diff --git a/stdata.cabal b/stdata.cabal
--- a/stdata.cabal
+++ b/stdata.cabal
@@ -1,5 +1,5 @@
 Name:                stdata
-Version:             0.0.3
+Version:             0.0.4
 Synopsis:            Structure Data Library
 Description:         Contains datatypes and quasi-quoting functionaly for
                      standard s-expressions and nested structured/unstructured data