"Row" => "Sequence"

73 files changed, 525 insertions, 533 deletions

diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index e22d9c427..71b0a4dac 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -20,7 +20,7 @@
       [array {"+" Array}]
       ["[0]" list ("[1]#[0]" mix functor monoid)]
       ["[0]" dictionary {"+" Dictionary}]
-      ["[0]" row {"+" Row} ("[1]#[0]" functor mix)]]]
+      ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor mix)]]]
     [math
      [number
       ["[0]" nat]]]
@@ -515,11 +515,11 @@
 
 (def: (relabel_bytecode [mapping bytecode])
   (Re_labeler (/.Bytecode Inst))
-  (row#mix (function (_ input [mapping output])
-             (let [[mapping input'] (..relabel_instruction [mapping input])]
-               [mapping (row.suffix input' output)]))
-           [mapping (row.row)]
-           bytecode))
+  (sequence#mix (function (_ input [mapping output])
+                  (let [[mapping input'] (..relabel_instruction [mapping input])]
+                    [mapping (sequence.suffix input' output)]))
+                [mapping (sequence.sequence)]
+                bytecode))
 
 (def: fresh
   Mapping
@@ -530,8 +530,8 @@
   (|>> [..fresh]
        ..relabel_bytecode
        product.right
-       (row#each ..instruction)
-       row.list
+       (sequence#each ..instruction)
+       sequence.list
        _.fuse))
 
 (with_expansions [<anchor> (as_is jvm.Anchor)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index 58d07e663..df493f551 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -11,7 +11,7 @@
       ["%" format {"+" format}]]
      [collection
       ["[0]" list ("[1]@[0]" functor)]
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     ["[0]" math
      [number
       ["n" nat]]]
@@ -414,5 +414,5 @@
              product.right
              artifact.resource
              product.right)
-         (row.row runtime_payload
-                  function_payload)])))
+         (sequence.sequence runtime_payload
+                            function_payload)])))
diff --git a/lux-mode/lux-mode.el b/lux-mode/lux-mode.el
index 53be61cdb..f2f9bee78 100644
--- a/lux-mode/lux-mode.el
+++ b/lux-mode/lux-mode.el
@@ -386,7 +386,7 @@ Called by `imenu--generic-function'."
 							(data//record (altRE "value@" "with@" "revised@"))
 							(data//interface (altRE "open:" "implementation" "#"))
 							(data//implicit (altRE "implicit:" "##"))
-							(data//collection (altRE "list" "list&" "row" "tree"))
+							(data//collection (altRE "list" "list&" "sequence" "tree"))
 							;; Code
 							(code//quotation (altRE "`" "`'" "'" "~" "~\\+" "~!" "~'"))
 							(code//super-quotation (altRE "``" "~~"))
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index f3ba1542e..d349dc0df 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -773,9 +773,9 @@
           "Allows you to refer to the type-variables in a polymorphic function's type, by their index.")
   ["In the example below, 0 corresponds to the 'a' variable."
    (def: .public (of_list list)
-     (All (_ a) (-> (List a) (Row a)))
+     (All (_ a) (-> (List a) (Sequence a)))
      (list#mix add
-               (: (Row (:parameter 0))
+               (: (Sequence (:parameter 0))
                   empty)
                list))])
 
diff --git a/stdlib/source/documentation/lux/control/parser/binary.lux b/stdlib/source/documentation/lux/control/parser/binary.lux
index 643603504..0f9305ea7 100644
--- a/stdlib/source/documentation/lux/control/parser/binary.lux
+++ b/stdlib/source/documentation/lux/control/parser/binary.lux
@@ -64,12 +64,12 @@
 
 (template [<size> <name>]
   [(documentation: <name>
-     (format "Parses a row of values prefixed with a size that is " (%.nat <size>) " bytes long."))]
+     (format "Parses a sequence of values prefixed with a size that is " (%.nat <size>) " bytes long."))]
 
-  [08 /.row/8]
-  [16 /.row/16]
-  [32 /.row/32]
-  [64 /.row/64]
+  [08 /.sequence/8]
+  [16 /.sequence/16]
+  [32 /.sequence/32]
+  [64 /.sequence/64]
   )
 
 (documentation: /.list
@@ -105,10 +105,10 @@
              ..utf8/32
              ..utf8/64
              
-             ..row/8
-             ..row/16
-             ..row/32
-             ..row/64
+             ..sequence/8
+             ..sequence/16
+             ..sequence/32
+             ..sequence/64
              
              ..list
              ..set
diff --git a/stdlib/source/documentation/lux/data/collection.lux b/stdlib/source/documentation/lux/data/collection.lux
index 9fae3d77f..d6998fa02 100644
--- a/stdlib/source/documentation/lux/data/collection.lux
+++ b/stdlib/source/documentation/lux/data/collection.lux
@@ -13,7 +13,7 @@
    ["[1][0]" dictionary]
    ["[1][0]" list]
    ["[1][0]" queue]
-   ["[1][0]" row]
+   ["[1][0]" sequence]
    ["[1][0]" stream]
    ["[1][0]" stack]
    ["[1][0]" set]
@@ -27,7 +27,7 @@
          /dictionary.documentation
          /list.documentation
          /queue.documentation
-         /row.documentation
+         /sequence.documentation
          /stream.documentation
          /stack.documentation
          /set.documentation
diff --git a/stdlib/source/documentation/lux/data/collection/row.lux b/stdlib/source/documentation/lux/data/collection/sequence.lux
index b2f6615eb..e09da69ba 100644
--- a/stdlib/source/documentation/lux/data/collection/row.lux
+++ b/stdlib/source/documentation/lux/data/collection/sequence.lux
@@ -15,51 +15,51 @@
   [\\library
    ["[0]" /]])
 
-(documentation: (/.Row it)
+(documentation: (/.Sequence it)
   "A sequential data-structure with fast random access.")
 
 (documentation: /.suffix
   ""
-  [(suffix val row)])
+  [(suffix val sequence)])
 
 (documentation: /.within_bounds?
-  "Determines whether the index is within the bounds of the row."
-  [(within_bounds? row idx)])
+  "Determines whether the index is within the bounds of the sequence."
+  [(within_bounds? sequence idx)])
 
 (documentation: /.item
   ""
-  [(item idx row)])
+  [(item idx sequence)])
 
 (documentation: /.has
   ""
-  [(has idx val row)])
+  [(has idx val sequence)])
 
 (documentation: /.revised
   ""
-  [(revised idx f row)])
+  [(revised idx f sequence)])
 
 (documentation: /.prefix
   ""
-  [(prefix row)])
+  [(prefix sequence)])
 
 (documentation: /.list
   ""
-  [(list row)])
+  [(list sequence)])
 
 (documentation: /.member?
   ""
-  [(member? equivalence row val)])
+  [(member? equivalence sequence val)])
 
-(documentation: /.row
-  "Row literals."
-  [(: (Row Nat)
-      (row 12 34 56 78 90))])
+(documentation: /.sequence
+  "Sequence literals."
+  [(: (Sequence Nat)
+      (sequence 12 34 56 78 90))])
 
 (.def: .public documentation
   (.List $.Module)
   ($.module /._
             ""
-            [..Row
+            [..Sequence
              ..suffix
              ..within_bounds?
              ..item
@@ -68,7 +68,7 @@
              ..prefix
              ..list
              ..member?
-             ..row
+             ..sequence
              ($.default /.empty)
              ($.default /.size)
              ($.default /.index_out_of_bounds)
diff --git a/stdlib/source/documentation/lux/data/format/binary.lux b/stdlib/source/documentation/lux/data/format/binary.lux
index bd9bc0c95..0ed436384 100644
--- a/stdlib/source/documentation/lux/data/format/binary.lux
+++ b/stdlib/source/documentation/lux/data/format/binary.lux
@@ -79,10 +79,10 @@
              ($.default /.utf8/32)
              ($.default /.utf8/64)
              ($.default /.text)
-             ($.default /.row/8)
-             ($.default /.row/16)
-             ($.default /.row/32)
-             ($.default /.row/64)
+             ($.default /.sequence/8)
+             ($.default /.sequence/16)
+             ($.default /.sequence/32)
+             ($.default /.sequence/64)
              ($.default /.maybe)
              ($.default /.list)
              ($.default /.set)
diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux
index 4f21bd67d..e62456195 100644
--- a/stdlib/source/documentation/lux/extension.lux
+++ b/stdlib/source/documentation/lux/extension.lux
@@ -10,7 +10,7 @@
      [text
       ["%" format {"+" format}]]
      [collection
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     [macro
      ["[0]" template]]
     ["@" target
@@ -40,7 +40,7 @@
   [(generation: ("my generation" self phase archive [pass_through <synthesis>.any])
      (for [@.jvm
            (# phase.monad each (|>> {jvm.#Embedded}
-                                    row.row)
+                                    sequence.sequence)
               (phase archive pass_through))]
           (phase archive pass_through)))])
 
diff --git a/stdlib/source/documentation/lux/math/random.lux b/stdlib/source/documentation/lux/math/random.lux
index 97a8b484e..128179f77 100644
--- a/stdlib/source/documentation/lux/math/random.lux
+++ b/stdlib/source/documentation/lux/math/random.lux
@@ -125,7 +125,7 @@
 
              ($.default /.maybe)
              ($.default /.list)
-             ($.default /.row)
+             ($.default /.sequence)
              ($.default /.array)
              ($.default /.queue)
              ($.default /.stack)
diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/library/lux/control/parser/binary.lux
index c6a56de41..7e1eab4e6 100644
--- a/stdlib/source/library/lux/control/parser/binary.lux
+++ b/stdlib/source/library/lux/control/parser/binary.lux
@@ -16,7 +16,7 @@
        ["[0]" utf8]]]
      [collection
       ["[0]" list]
-      ["[0]" row {"+" Row}]
+      ["[0]" sequence {"+" Sequence}]
       ["[0]" set {"+" Set}]]]
     [macro
      ["[0]" template]]
@@ -189,7 +189,7 @@
 
 (template [<size> <name> <bits>]
   [(def: .public (<name> valueP)
-     (All (_ v) (-> (Parser v) (Parser (Row v))))
+     (All (_ v) (-> (Parser v) (Parser (Sequence v))))
      (do //.monad
        [amount (: (Parser Nat)
                   <bits>)]
@@ -198,19 +198,19 @@
                                (Parser v)
                                valueP
                                
-                               (Row v)
-                               row.empty)]
+                               (Sequence v)
+                               sequence.empty)]
          (if (n.< amount index)
            (do //.monad
              [value valueP]
              (again (.++ index)
-                    (row.suffix value output)))
+                    (sequence.suffix value output)))
            (//#in output)))))]
 
-  [08 row/8  ..bits/8]
-  [16 row/16 ..bits/16]
-  [32 row/32 ..bits/32]
-  [64 row/64 ..bits/64]
+  [08 sequence/8  ..bits/8]
+  [16 sequence/16 ..bits/16]
+  [32 sequence/32 ..bits/32]
+  [64 sequence/64 ..bits/64]
   )
 
 (def: .public maybe
diff --git a/stdlib/source/library/lux/control/parser/json.lux b/stdlib/source/library/lux/control/parser/json.lux
index ae1e82d9c..b5e10e9c1 100644
--- a/stdlib/source/library/lux/control/parser/json.lux
+++ b/stdlib/source/library/lux/control/parser/json.lux
@@ -11,7 +11,7 @@
      ["[0]" text ("[1]#[0]" equivalence monoid)]
      [collection
       ["[0]" list ("[1]#[0]" functor)]
-      ["[0]" row]
+      ["[0]" sequence]
       ["[0]" dictionary {"+" Dictionary}]]
      [format
       ["/" json {"+" JSON}]]]
@@ -124,7 +124,7 @@
     [head ..any]
     (case head
       {/.#Array values}
-      (case (//.result parser (row.list values))
+      (case (//.result parser (sequence.list values))
         {try.#Failure error}
         (//.failure error)
 
diff --git a/stdlib/source/library/lux/data/collection/row.lux b/stdlib/source/library/lux/data/collection/sequence.lux
index ae8a99c37..3576d8ab2 100644
--- a/stdlib/source/library/lux/data/collection/row.lux
+++ b/stdlib/source/library/lux/data/collection/sequence.lux
@@ -82,11 +82,11 @@
   (All (_ a) (-> Any (Hierarchy a)))
   (array.empty ..full_node_size))
 
-(def: (tail_off row_size)
+(def: (tail_off sequence_size)
   (-> Nat Nat)
-  (if (n.< full_node_size row_size)
+  (if (n.< full_node_size sequence_size)
     0
-    (|> (-- row_size)
+    (|> (-- sequence_size)
         (i64.right_shifted branching_exponent)
         (i64.left_shifted branching_exponent))))
 
@@ -189,7 +189,7 @@
                     (list#composite (node#list sub) acc))
                   {.#End}))))
 
-(type: .public (Row a)
+(type: .public (Sequence a)
   (Record
    [#level Level
     #size Nat
@@ -197,68 +197,68 @@
     #tail (Base a)]))
 
 (def: .public empty
-  Row
+  Sequence
   [#level (level_up root_level)
    #size 0
    #root (empty_hierarchy [])
    #tail (array.empty 0)])
 
-(def: .public (size row)
-  (All (_ a) (-> (Row a) Nat))
-  (value@ #size row))
+(def: .public (size sequence)
+  (All (_ a) (-> (Sequence a) Nat))
+  (value@ #size sequence))
 
-(def: .public (suffix val row)
-  (All (_ a) (-> a (Row a) (Row a)))
+(def: .public (suffix val sequence)
+  (All (_ a) (-> a (Sequence a) (Sequence a)))
   ... Check if there is room in the tail.
-  (let [row_size (value@ #size row)]
-    (if (|> row_size (n.- (tail_off row_size)) (n.< full_node_size))
+  (let [sequence_size (value@ #size sequence)]
+    (if (|> sequence_size (n.- (tail_off sequence_size)) (n.< full_node_size))
       ... If so, append to it.
-      (|> row
+      (|> sequence
           (revised@ #size ++)
           (revised@ #tail (..expanded_tail val)))
       ... Otherwise, push tail into the tree
       ... --------------------------------------------------------
       ... Will the root experience an overflow with this addition?
-      (|> (if (n.> (i64.left_shifted (value@ #level row) 1)
-                   (i64.right_shifted branching_exponent row_size))
+      (|> (if (n.> (i64.left_shifted (value@ #level sequence) 1)
+                   (i64.right_shifted branching_exponent sequence_size))
             ... If so, a brand-new root must be established, that is
             ... 1-level taller.
-            (|> row
+            (|> sequence
                 (with@ #root (|> (for [@.old
                                        (: (Hierarchy (:parameter 0))
                                           (empty_hierarchy []))]
                                       (empty_hierarchy []))
-                                 (array.write! 0 {#Hierarchy (value@ #root row)})
-                                 (array.write! 1 (..path (value@ #level row) (value@ #tail row)))))
+                                 (array.write! 0 {#Hierarchy (value@ #root sequence)})
+                                 (array.write! 1 (..path (value@ #level sequence) (value@ #tail sequence)))))
                 (revised@ #level level_up))
             ... Otherwise, just push the current tail onto the root.
-            (|> row
-                (revised@ #root (..with_tail row_size (value@ #level row) (value@ #tail row)))))
-          ... Finally, update the size of the row and grow a new
+            (|> sequence
+                (revised@ #root (..with_tail sequence_size (value@ #level sequence) (value@ #tail sequence)))))
+          ... Finally, update the size of the sequence and grow a new
           ... tail with the new element as it's sole member.
           (revised@ #size ++)
           (with@ #tail (..tail val)))
       )))
 
-(exception: incorrect_row_structure)
+(exception: incorrect_sequence_structure)
 
-(exception: .public [a] (index_out_of_bounds [row (Row a)
+(exception: .public [a] (index_out_of_bounds [sequence (Sequence a)
                                               index Nat])
-  (exception.report ["Size" (# n.decimal encoded (value@ #size row))]
+  (exception.report ["Size" (# n.decimal encoded (value@ #size sequence))]
                     ["Index" (# n.decimal encoded index)]))
 
 (exception: base_was_not_found)
 
-(def: .public (within_bounds? row idx)
-  (All (_ a) (-> (Row a) Nat Bit))
-  (n.< (value@ #size row) idx))
+(def: .public (within_bounds? sequence idx)
+  (All (_ a) (-> (Sequence a) Nat Bit))
+  (n.< (value@ #size sequence) idx))
 
-(def: (base_for idx row)
-  (All (_ a) (-> Index (Row a) (Try (Base a))))
-  (if (within_bounds? row idx)
-    (if (n.< (tail_off (value@ #size row)) idx)
-      (loop [level (value@ #level row)
-             hierarchy (value@ #root row)]
+(def: (base_for idx sequence)
+  (All (_ a) (-> Index (Sequence a) (Try (Base a))))
+  (if (within_bounds? sequence idx)
+    (if (n.< (tail_off (value@ #size sequence)) idx)
+      (loop [level (value@ #level sequence)
+             hierarchy (value@ #root sequence)]
         (case [(n.> branching_exponent level)
                (array.read! (branch_idx (i64.right_shifted level idx)) hierarchy)]
           [#1 {.#Some {#Hierarchy sub}}]
@@ -271,65 +271,65 @@
           (exception.except ..base_was_not_found [])
 
           _
-          (exception.except ..incorrect_row_structure [])))
-      {try.#Success (value@ #tail row)})
-    (exception.except ..index_out_of_bounds [row idx])))
+          (exception.except ..incorrect_sequence_structure [])))
+      {try.#Success (value@ #tail sequence)})
+    (exception.except ..index_out_of_bounds [sequence idx])))
 
-(def: .public (item idx row)
-  (All (_ a) (-> Nat (Row a) (Try a)))
+(def: .public (item idx sequence)
+  (All (_ a) (-> Nat (Sequence a) (Try a)))
   (do try.monad
-    [base (base_for idx row)]
+    [base (base_for idx sequence)]
     (case (array.read! (branch_idx idx) base)
       {.#Some value}
       {try.#Success value}
       
       {.#None}
-      (exception.except ..incorrect_row_structure []))))
-
-(def: .public (has idx val row)
-  (All (_ a) (-> Nat a (Row a) (Try (Row a))))
-  (let [row_size (value@ #size row)]
-    (if (within_bounds? row idx)
-      {try.#Success (if (n.< (tail_off row_size) idx)
-                      (revised@ #root (hierarchy#has (value@ #level row) idx val)
-                                row)
+      (exception.except ..incorrect_sequence_structure []))))
+
+(def: .public (has idx val sequence)
+  (All (_ a) (-> Nat a (Sequence a) (Try (Sequence a))))
+  (let [sequence_size (value@ #size sequence)]
+    (if (within_bounds? sequence idx)
+      {try.#Success (if (n.< (tail_off sequence_size) idx)
+                      (revised@ #root (hierarchy#has (value@ #level sequence) idx val)
+                                sequence)
                       (revised@ #tail (for [@.old
                                             (: (-> (Base (:parameter 0)) (Base (:parameter 0)))
                                                (|>> array.clone (array.write! (branch_idx idx) val)))]
                                            (|>> array.clone (array.write! (branch_idx idx) val)))
-                                row))}
-      (exception.except ..index_out_of_bounds [row idx]))))
+                                sequence))}
+      (exception.except ..index_out_of_bounds [sequence idx]))))
 
-(def: .public (revised idx f row)
-  (All (_ a) (-> Nat (-> a a) (Row a) (Try (Row a))))
+(def: .public (revised idx f sequence)
+  (All (_ a) (-> Nat (-> a a) (Sequence a) (Try (Sequence a))))
   (do try.monad
-    [val (..item idx row)]
-    (..has idx (f val) row)))
+    [val (..item idx sequence)]
+    (..has idx (f val) sequence)))
 
-(def: .public (prefix row)
-  (All (_ a) (-> (Row a) (Row a)))
-  (case (value@ #size row)
+(def: .public (prefix sequence)
+  (All (_ a) (-> (Sequence a) (Sequence a)))
+  (case (value@ #size sequence)
     0
     empty
 
     1
     empty
 
-    row_size
-    (if (|> row_size (n.- (tail_off row_size)) (n.> 1))
-      (let [old_tail (value@ #tail row)
+    sequence_size
+    (if (|> sequence_size (n.- (tail_off sequence_size)) (n.> 1))
+      (let [old_tail (value@ #tail sequence)
             new_tail_size (-- (array.size old_tail))]
-        (|> row
+        (|> sequence
             (revised@ #size --)
             (with@ #tail (|> (array.empty new_tail_size)
                              (array.copy! new_tail_size 0 old_tail 0)))))
       (maybe.trusted
        (do maybe.monad
-         [new_tail (base_for (n.- 2 row_size) row)
-          .let [[level' root'] (let [init_level (value@ #level row)]
+         [new_tail (base_for (n.- 2 sequence_size) sequence)
+          .let [[level' root'] (let [init_level (value@ #level sequence)]
                                  (loop [level init_level
                                         root (maybe.else (empty_hierarchy [])
-                                                         (without_tail row_size init_level (value@ #root row)))]
+                                                         (without_tail sequence_size init_level (value@ #root sequence)))]
                                    (if (n.> branching_exponent level)
                                      (case [(array.read! 1 root) (array.read! 0 root)]
                                        [{.#None} {.#Some {#Hierarchy sub_node}}]
@@ -341,31 +341,31 @@
                                        _
                                        [level root])
                                      [level root])))]]
-         (in (|> row
+         (in (|> sequence
                  (revised@ #size --)
                  (with@ #level level')
                  (with@ #root root')
                  (with@ #tail new_tail))))))
     ))
 
-(def: .public (list row)
-  (All (_ a) (-> (Row a) (List a)))
-  (list#composite (node#list {#Hierarchy (value@ #root row)})
-                  (node#list {#Base (value@ #tail row)})))
+(def: .public (list sequence)
+  (All (_ a) (-> (Sequence a) (List a)))
+  (list#composite (node#list {#Hierarchy (value@ #root sequence)})
+                  (node#list {#Base (value@ #tail sequence)})))
 
 (def: .public of_list
-  (All (_ a) (-> (List a) (Row a)))
+  (All (_ a) (-> (List a) (Sequence a)))
   (list#mix ..suffix ..empty))
 
-(def: .public (member? equivalence row val)
-  (All (_ a) (-> (Equivalence a) (Row a) a Bit))
-  (list.member? equivalence (list row) val))
+(def: .public (member? equivalence sequence val)
+  (All (_ a) (-> (Equivalence a) (Sequence a) a Bit))
+  (list.member? equivalence (list sequence) val))
 
 (def: .public empty?
-  (All (_ a) (-> (Row a) Bit))
+  (All (_ a) (-> (Sequence a) Bit))
   (|>> (value@ #size) (n.= 0)))
 
-(syntax: .public (row [elems (<>.some <code>.any)])
+(syntax: .public (sequence [elems (<>.some <code>.any)])
   (in (.list (` (..of_list (.list (~+ elems)))))))
 
 (implementation: (node_equivalence Equivalence<a>)
@@ -383,7 +383,7 @@
       #0)))
 
 (implementation: .public (equivalence Equivalence<a>)
-  (All (_ a) (-> (Equivalence a) (Equivalence (Row a))))
+  (All (_ a) (-> (Equivalence a) (Equivalence (Sequence a))))
   
   (def: (= v1 v2)
     (and (n.= (value@ #size v1) (value@ #size v2))
@@ -407,7 +407,7 @@
                  hierarchy))))
 
 (implementation: .public mix
-  (Mix Row)
+  (Mix Sequence)
   
   (def: (mix f init xs)
     (let [(^open "[0]") node_mix]
@@ -418,7 +418,7 @@
            {#Base (value@ #tail xs)}))))
 
 (implementation: .public monoid
-  (All (_ a) (Monoid (Row a)))
+  (All (_ a) (Monoid (Sequence a)))
   
   (def: identity ..empty)
   
@@ -437,7 +437,7 @@
       {#Hierarchy (array#each (each f) hierarchy)})))
 
 (implementation: .public functor
-  (Functor Row)
+  (Functor Sequence)
   
   (def: (each f xs)
     [#level (value@ #level xs)
@@ -446,7 +446,7 @@
      #tail (|> xs (value@ #tail) (array#each f))]))
 
 (implementation: .public apply
-  (Apply Row)
+  (Apply Sequence)
   
   (def: &functor ..functor)
 
@@ -459,12 +459,12 @@
       (mix composite identity results))))
 
 (implementation: .public monad
-  (Monad Row)
+  (Monad Sequence)
   
   (def: &functor ..functor)
 
   (def: in
-    (|>> row))
+    (|>> sequence))
 
   (def: conjoint
     (let [(^open "[0]") ..mix
@@ -472,7 +472,7 @@
       (mix (function (_ post pre) (composite pre post)) identity))))
 
 (def: .public reversed
-  (All (_ a) (-> (Row a) (Row a)))
+  (All (_ a) (-> (Sequence a) (Sequence a)))
   (|>> ..list
        list.reversed
        (list#mix suffix ..empty)))
@@ -480,7 +480,7 @@
 (template [<name> <array> <init> <op>]
   [(def: .public <name>
      (All (_ a)
-       (-> (Predicate a) (Row a) Bit))
+       (-> (Predicate a) (Sequence a) Bit))
      (let [help (: (All (_ a)
                      (-> (Predicate a) (Node a) Bit))
                    (function (help predicate node)
@@ -490,8 +490,8 @@
 
                        {#Hierarchy hierarchy}
                        (<array> (help predicate) hierarchy))))]
-       (function (<name> predicate row)
-         (let [(^open "_[0]") row]
+       (function (<name> predicate sequence)
+         (let [(^open "_[0]") sequence]
            (<op> (help predicate {#Hierarchy _#root})
                  (help predicate {#Base _#tail}))))))]
 
diff --git a/stdlib/source/library/lux/data/format/binary.lux b/stdlib/source/library/lux/data/format/binary.lux
index abf28f5d0..afd908091 100644
--- a/stdlib/source/library/lux/data/format/binary.lux
+++ b/stdlib/source/library/lux/data/format/binary.lux
@@ -20,7 +20,7 @@
        ["[0]" utf8]]]
      [collection
       ["[0]" list]
-      ["[0]" row {"+" Row} ("[1]#[0]" functor)]
+      ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor)]
       ["[0]" set {"+" Set}]]]
     [math
      [number
@@ -177,18 +177,18 @@
 
 (template [<name> <size> <write>]
   [(def: .public (<name> valueW)
-     (All (_ v) (-> (Writer v) (Writer (Row v))))
+     (All (_ v) (-> (Writer v) (Writer (Sequence v))))
      (function (_ value)
-       (let [original_count (row.size value)
+       (let [original_count (sequence.size value)
              capped_count (i64.and (..mask <size>)
                                    original_count)
              value (if (n.= original_count capped_count)
                      value
-                     (|> value row.list (list.first capped_count) row.of_list))
+                     (|> value sequence.list (list.first capped_count) sequence.of_list))
              (^open "specification#[0]") ..monoid
              [size mutation] (|> value
-                                 (row#each valueW)
-                                 (# row.mix mix
+                                 (sequence#each valueW)
+                                 (# sequence.mix mix
                                     (function (_ post pre)
                                       (specification#composite pre post))
                                     specification#identity))]
@@ -199,10 +199,10 @@
                [_ (<write> offset capped_count binary)]
                (in (mutation [(n.+ <size> offset) binary])))))])))]
 
-  [row/8  /.size/8  binary.write/8!]
-  [row/16 /.size/16 binary.write/16!]
-  [row/32 /.size/32 binary.write/32!]
-  [row/64 /.size/64 binary.write/64!]
+  [sequence/8  /.size/8  binary.write/8!]
+  [sequence/16 /.size/16 binary.write/16!]
+  [sequence/32 /.size/32 binary.write/32!]
+  [sequence/64 /.size/64 binary.write/64!]
   )
 
 (def: .public maybe
diff --git a/stdlib/source/library/lux/data/format/json.lux b/stdlib/source/library/lux/data/format/json.lux
index 56400e0ca..5bd36a123 100644
--- a/stdlib/source/library/lux/data/format/json.lux
+++ b/stdlib/source/library/lux/data/format/json.lux
@@ -20,7 +20,7 @@
      ["[0]" text ("[1]#[0]" equivalence monoid)]
      [collection
       ["[0]" list ("[1]#[0]" mix functor)]
-      ["[0]" row {"+" Row row} ("[1]#[0]" monad)]
+      ["[0]" sequence {"+" Sequence sequence} ("[1]#[0]" monad)]
       ["[0]" dictionary {"+" Dictionary}]]]
     [macro
      [syntax {"+" syntax:}]
@@ -47,14 +47,14 @@
      {#Boolean Boolean}
      {#Number  Number}
      {#String  String}
-     {#Array   (Row JSON)}
+     {#Array   (Sequence JSON)}
      {#Object  (Dictionary String JSON)})))
 
 (template [<name> <type>]
   [(type: .public <name>
      <type>)]
 
-  [Array  (Row JSON)]
+  [Array  (Sequence JSON)]
   [Object (Dictionary String JSON)]
   )
 
@@ -74,7 +74,7 @@
      {#Boolean' Boolean}
      {#Number'  Number}
      {#String'  String}
-     {#Array'   (Row JSON')}
+     {#Array'   (Sequence JSON')}
      {#Object'  (Dictionary String JSON')}
      {#Code'    Code})))
 
@@ -87,7 +87,7 @@
          <code>.bit
          <code>.frac
          <code>.text
-         (<>#each row.of_list
+         (<>#each sequence.of_list
                   (<code>.tuple (<>.some jsonP)))
          (<>#each (dictionary.of_list text.hash)
                   (<code>.variant (<>.some (<>.and <code>.text jsonP))))
@@ -108,7 +108,7 @@
      [code.text ..#String' ..#String])
     
     {#Array' members}
-    (` {..#Array ((~! row.row) (~+ (row.list (row#each jsonF members))))})
+    (` {..#Array ((~! sequence.sequence) (~+ (sequence.list (sequence#each jsonF members))))})
 
     {#Object' pairs}
     (` {..#Object ((~! dictionary.of_list)
@@ -192,16 +192,16 @@
        [#String  text.equivalence])
 
       [{#Array xs} {#Array ys}]
-      (and (n.= (row.size xs) (row.size ys))
+      (and (n.= (sequence.size xs) (sequence.size ys))
            (list#mix (function (_ idx prev)
                        (and prev
                             (maybe.else #0
                                         (do maybe.monad
-                                          [x' (row.item idx xs)
-                                           y' (row.item idx ys)]
+                                          [x' (sequence.item idx xs)
+                                           y' (sequence.item idx ys)]
                                           (in (= x' y'))))))
                      #1
-                     (list.indices (row.size xs))))
+                     (list.indices (sequence.size xs))))
       
       [{#Object xs} {#Object ys}]
       (and (n.= (dictionary.size xs) (dictionary.size ys))
@@ -264,8 +264,8 @@
 
 (def: (array_format format)
   (-> (-> JSON Text) (-> Array Text))
-  (|>> (row#each format)
-       row.list
+  (|>> (sequence#each format)
+       sequence.list
        (text.interposed ..value_separator)
        (text.enclosed [..array_start ..array_end])))
 
@@ -411,7 +411,7 @@
         _ (<text>.this <close>)]
        (in (<prep> elems))))]
 
-  [array_parser  Array  ..array_start ..array_end json_parser row.of_list]
+  [array_parser  Array  ..array_start ..array_end json_parser sequence.of_list]
   [object_parser Object ..object_start ..object_end (kv_parser json_parser) (dictionary.of_list text.hash)]
   )
 
diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux
index dd511524b..7ab3eafd0 100644
--- a/stdlib/source/library/lux/data/format/tar.lux
+++ b/stdlib/source/library/lux/data/format/tar.lux
@@ -20,7 +20,7 @@
       ["[1]" binary {"+" Writer} ("[1]#[0]" monoid)]]
      [collection
       ["[0]" list ("[1]#[0]" mix)]
-      ["[0]" row {"+" Row} ("[1]#[0]" mix)]]]
+      ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]]]
     [math
      ["[0]" number
       ["n" nat]
@@ -583,7 +583,7 @@
   (try.trusted (..small 0)))
 
 (type: .public Tar
-  (Row Entry))
+  (Sequence Entry))
 
 (def: (blocks size)
   (-> Big Nat)
@@ -734,10 +734,10 @@
   (Writer Tar)
   (let [end_of_archive (binary.empty ..end_of_archive_size)]
     (function (_ tar)
-      (format#composite (row#mix (function (_ next total)
-                                   (format#composite total (..entry_writer next)))
-                                 format#identity
-                                 tar)
+      (format#composite (sequence#mix (function (_ next total)
+                                        (format#composite total (..entry_writer next)))
+                                      format#identity
+                                      tar)
                         (format.segment ..end_of_archive_size end_of_archive)))))
 
 (exception: .public (wrong_checksum [expected Nat
@@ -883,5 +883,5 @@
 (def: .public parser
   (Parser Tar)
   (|> (<>.some entry_parser)
-      (# <>.monad each row.of_list)
+      (# <>.monad each sequence.of_list)
       (<>.before ..end_of_archive_parser)))
diff --git a/stdlib/source/library/lux/data/text/buffer.lux b/stdlib/source/library/lux/data/text/buffer.lux
index 05e22b6cd..3abad763c 100644
--- a/stdlib/source/library/lux/data/text/buffer.lux
+++ b/stdlib/source/library/lux/data/text/buffer.lux
@@ -11,7 +11,7 @@
       ["%" format {"+" format}]]
      [collection
       ["[0]" array]
-      ["[0]" row {"+" Row} ("[1]#[0]" mix)]]]
+      ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]]]
     [math
      [number
       ["n" nat]]]
@@ -53,7 +53,7 @@
             @.js [Nat (-> (JS_Array Text) (JS_Array Text))]
             @.lua [Nat (-> (array.Array Text) (array.Array Text))]]
            ... default
-           (Row Text))
+           (Sequence Text))
 
       (def: .public empty
         Buffer
@@ -63,7 +63,7 @@
                               @.js [0 function.identity]
                               @.lua [0 function.identity]]
                              ... default
-                             row.empty))))
+                             sequence.empty))))
 
       (def: .public (then chunk buffer)
         (-> Text Buffer Buffer)
@@ -95,7 +95,7 @@
                         (:abstraction [(n.+ (//.size chunk) capacity)
                                        (|>> transform then!)]))]
                ... default
-               (|> buffer :representation (row.suffix chunk) :abstraction))))
+               (|> buffer :representation (sequence.suffix chunk) :abstraction))))
 
       (def: .public size
         (-> Buffer Nat)
@@ -106,9 +106,9 @@
                 @.lua <jvm>]
                ... default
                (|>> :representation
-                    (row#mix (function (_ chunk total)
-                               (n.+ (//.size chunk) total))
-                             0)))))
+                    (sequence#mix (function (_ chunk total)
+                                    (n.+ (//.size chunk) total))
+                                  0)))))
 
       (def: .public (text buffer)
         (-> Buffer Text)
@@ -126,8 +126,8 @@
                 @.lua (let [[capacity transform] (:representation buffer)]
                         (table/concat [(transform (array.empty 0)) ""]))]
                ... default
-               (row#mix (function (_ chunk total)
-                          (format total chunk))
-                        ""
-                        (:representation buffer)))))
+               (sequence#mix (function (_ chunk total)
+                               (format total chunk))
+                             ""
+                             (:representation buffer)))))
       ))
diff --git a/stdlib/source/library/lux/math/random.lux b/stdlib/source/library/lux/math/random.lux
index a7fffe898..9da83770e 100644
--- a/stdlib/source/library/lux/math/random.lux
+++ b/stdlib/source/library/lux/math/random.lux
@@ -17,7 +17,7 @@
       ["[0]" queue {"+" Queue}]
       ["[0]" set {"+" Set}]
       ["[0]" stack {"+" Stack}]
-      ["[0]" row {"+" Row}]
+      ["[0]" sequence {"+" Sequence}]
       [tree
        ["[0]" finger {"+" Tree}]]]]
     [math
@@ -245,14 +245,14 @@
       (in {.#Item x xs}))
     (# ..monad in (.list))))
 
-(def: .public (row size value_gen)
-  (All (_ a) (-> Nat (Random a) (Random (Row a))))
+(def: .public (sequence size value_gen)
+  (All (_ a) (-> Nat (Random a) (Random (Sequence a))))
   (if (n.> 0 size)
     (do ..monad
       [x value_gen
-       xs (row (-- size) value_gen)]
-      (in (row.suffix x xs)))
-    (# ..monad in row.empty)))
+       xs (sequence (-- size) value_gen)]
+      (in (sequence.suffix x xs)))
+    (# ..monad in sequence.empty)))
 
 (template [<name> <type> <ctor>]
   [(def: .public (<name> size value_gen)
diff --git a/stdlib/source/library/lux/target/jvm.lux b/stdlib/source/library/lux/target/jvm.lux
index 2f5bc8173..1ac418a6e 100644
--- a/stdlib/source/library/lux/target/jvm.lux
+++ b/stdlib/source/library/lux/target/jvm.lux
@@ -3,7 +3,7 @@
    [lux {"-" Type Primitive Label}
     [data
      [collection
-      [row {"+" Row}]]]
+      [sequence {"+" Sequence}]]]
     [target
      [jvm
       [type {"+" Type}
@@ -310,4 +310,4 @@
    {#Embedded embedded}))
 
 (type: .public (Bytecode embedded label)
-  (Row (Instruction embedded label)))
+  (Sequence (Instruction embedded label)))
diff --git a/stdlib/source/library/lux/target/jvm/attribute/code.lux b/stdlib/source/library/lux/target/jvm/attribute/code.lux
index 94498a51e..be5faff6f 100644
--- a/stdlib/source/library/lux/target/jvm/attribute/code.lux
+++ b/stdlib/source/library/lux/target/jvm/attribute/code.lux
@@ -9,7 +9,7 @@
      [format
       ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]
      [collection
-      ["[0]" row {"+" Row} ("[1]#[0]" functor mix)]]]
+      ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor mix)]]]
     [math
      [number
       ["n" nat]]]]]
@@ -26,8 +26,8 @@
   (Record
    [#limit Limit
     #code Binary
-    #exception_table (Row Exception)
-    #attributes (Row Attribute)]))
+    #exception_table (Sequence Exception)
+    #attributes (Sequence Attribute)]))
 
 (def: .public (length length code)
   (All (_ Attribute) (-> (-> Attribute Nat) (Code Attribute) Nat))
@@ -44,15 +44,15 @@
       ... exception_table[exception_table_length];
       (|> code
           (value@ #exception_table)
-          row.size
+          sequence.size
           (n.* /exception.length))
       ... u2 attributes_count;
       ///unsigned.bytes/2
       ... attribute_info attributes[attributes_count];
       (|> code
           (value@ #attributes)
-          (row#each length)
-          (row#mix n.+ 0))))
+          (sequence#each length)
+          (sequence#mix n.+ 0))))
 
 (def: .public (equivalence attribute_equivalence)
   (All (_ attribute)
@@ -60,8 +60,8 @@
   ($_ product.equivalence
       ///limit.equivalence
       binary.equivalence
-      (row.equivalence /exception.equivalence)
-      (row.equivalence attribute_equivalence)
+      (sequence.equivalence /exception.equivalence)
+      (sequence.equivalence attribute_equivalence)
       ))
 
 ... https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.7.3
@@ -76,8 +76,8 @@
       (binaryF.binary/32 (value@ #code code))
       ... u2 exception_table_length;
       ... exception_table[exception_table_length];
-      ((binaryF.row/16 /exception.writer) (value@ #exception_table code))
+      ((binaryF.sequence/16 /exception.writer) (value@ #exception_table code))
       ... u2 attributes_count;
       ... attribute_info attributes[attributes_count];
-      ((binaryF.row/16 writer) (value@ #attributes code))
+      ((binaryF.sequence/16 writer) (value@ #attributes code))
       ))
diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux
index c7fee0eed..cbcd7bf6a 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode.lux
@@ -19,7 +19,7 @@
      [collection
       ["[0]" list ("[1]#[0]" functor mix)]
       ["[0]" dictionary {"+" Dictionary}]
-      ["[0]" row {"+" Row}]]]
+      ["[0]" sequence {"+" Sequence}]]]
     [macro
      ["[0]" template]]
     [math
@@ -70,11 +70,11 @@
    #known (dictionary.empty n.hash)])
 
 (type: .public Relative
-  (-> Resolver (Try [(Row Exception) Instruction])))
+  (-> Resolver (Try [(Sequence Exception) Instruction])))
 
 (def: no_exceptions
-  (Row Exception)
-  row.empty)
+  (Sequence Exception)
+  sequence.empty)
 
 (def: relative_identity
   Relative
@@ -97,7 +97,7 @@
             (do try.monad
               [[left_exceptions left_instruction] (left resolver)
                [right_exceptions right_instruction] (right resolver)]
-              (in [(# row.monoid composite left_exceptions right_exceptions)
+              (in [(# sequence.monoid composite left_exceptions right_exceptions)
                    (_#composite left_instruction right_instruction)]))))))
 
 (type: .public (Bytecode a)
@@ -174,7 +174,7 @@
   (..failure (exception.error exception value)))
 
 (def: .public (resolve environment bytecode)
-  (All (_ a) (-> Environment (Bytecode a) (Resource [Environment (Row Exception) Instruction a])))
+  (All (_ a) (-> Environment (Bytecode a) (Resource [Environment (Sequence Exception) Instruction a])))
   (function (_ pool)
     (do try.monad
       [[[pool environment tracker] [relative output]] (bytecode [pool environment ..fresh])
@@ -1038,10 +1038,11 @@
                   (in [])
                   (exception.except ..invalid_range_for_try [@start @end]))
               [_ @handler] (..resolve_label @handler resolver)]
-             (in [(row.row [//exception.#start @start
-                            //exception.#end @end
-                            //exception.#handler @handler
-                            //exception.#catch @catch])
+             (in [(sequence.sequence
+                   [//exception.#start @start
+                    //exception.#end @end
+                    //exception.#handler @handler
+                    //exception.#catch @catch])
                   _.empty])))
          []]]})))
 
diff --git a/stdlib/source/library/lux/target/jvm/class.lux b/stdlib/source/library/lux/target/jvm/class.lux
index 1658327f2..47b23c3ce 100644
--- a/stdlib/source/library/lux/target/jvm/class.lux
+++ b/stdlib/source/library/lux/target/jvm/class.lux
@@ -12,7 +12,7 @@
      [format
       ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]
      [collection
-      ["[0]" row {"+" Row}]]]]]
+      ["[0]" sequence {"+" Sequence}]]]]]
   ["[0]" // "_"
    ["[1][0]" modifier {"+" Modifier modifiers:}]
    ["[1][0]" version {"+" Version Minor Major}]
@@ -37,10 +37,10 @@
       #modifier (Modifier Class)
       #this (Index //constant.Class)
       #super (Index //constant.Class)
-      #interfaces (Row (Index //constant.Class))
-      #fields (Row Field)
-      #methods (Row Method)
-      #attributes (Row Attribute)])))
+      #interfaces (Sequence (Index //constant.Class))
+      #fields (Sequence Field)
+      #methods (Sequence Method)
+      #attributes (Sequence Attribute)])))
 
 (modifiers: Class
   ["0001" public]
@@ -63,23 +63,23 @@
       //modifier.equivalence
       //index.equivalence
       //index.equivalence
-      (row.equivalence //index.equivalence)
-      (row.equivalence //field.equivalence)
-      (row.equivalence //method.equivalence)
-      (row.equivalence //attribute.equivalence)))
+      (sequence.equivalence //index.equivalence)
+      (sequence.equivalence //field.equivalence)
+      (sequence.equivalence //method.equivalence)
+      (sequence.equivalence //attribute.equivalence)))
 
 (def: (install_classes this super interfaces)
   (-> Internal Internal (List Internal)
-      (Resource [(Index //constant.Class) (Index //constant.Class) (Row (Index //constant.Class))]))
+      (Resource [(Index //constant.Class) (Index //constant.Class) (Sequence (Index //constant.Class))]))
   (do [! //constant/pool.monad]
     [@this (//constant/pool.class this)
      @super (//constant/pool.class super)
-     @interfaces (: (Resource (Row (Index //constant.Class)))
+     @interfaces (: (Resource (Sequence (Index //constant.Class)))
                     (monad.mix ! (function (_ interface @interfaces)
                                    (do !
                                      [@interface (//constant/pool.class interface)]
-                                     (in (row.suffix @interface @interfaces))))
-                               row.empty
+                                     (in (sequence.suffix @interface @interfaces))))
+                               sequence.empty
                                interfaces))]
     (in [@this @super @interfaces])))
 
@@ -90,7 +90,7 @@
       Internal Internal (List Internal)
       (List (Resource Field))
       (List (Resource Method))
-      (Row Attribute)
+      (Sequence Attribute)
       (Try Class))
   (do try.monad
     [[pool [@this @super @interfaces] =fields =methods]
@@ -108,8 +108,8 @@
          #this @this
          #super @super
          #interfaces @interfaces
-         #fields (row.of_list =fields)
-         #methods (row.of_list =methods)
+         #fields (sequence.of_list =fields)
+         #methods (sequence.of_list =methods)
          #attributes attributes])))
 
 (def: .public (writer class)
@@ -126,7 +126,7 @@
                 [//index.writer #this]
                 [//index.writer #super]))
           (~~ (template [<writer> <slot>]
-                [((binaryF.row/16 <writer>) (value@ <slot> class))]
+                [((binaryF.sequence/16 <writer>) (value@ <slot> class))]
 
                 [//index.writer #interfaces]
                 [//field.writer #fields]
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index 41a196162..92c80b94b 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -11,9 +11,7 @@
      ["[0]" product]
      ["[0]" text]
      [format
-      ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]
-     [collection
-      ["[0]" row {"+" Row}]]]
+      ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]]
     [macro
      ["[0]" template]]
     [math
diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux
index 65d5847b7..a7c488b49 100644
--- a/stdlib/source/library/lux/target/jvm/constant/pool.lux
+++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux
@@ -14,7 +14,7 @@
      ["[0]" format "_"
       ["[1]" binary {"+" Writer} ("specification#[0]" monoid)]]
      [collection
-      ["[0]" row {"+" Row} ("[1]#[0]" mix)]]]
+      ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]]]
     [macro
      ["[0]" template]]
     [math
@@ -36,13 +36,13 @@
      ["[1][0]" descriptor {"+" Descriptor}]]]])
 
 (type: .public Pool
-  [Index (Row [Index Constant])])
+  [Index (Sequence [Index Constant])])
 
 (def: .public equivalence
   (Equivalence Pool)
   (product.equivalence //index.equivalence
-                       (row.equivalence (product.equivalence //index.equivalence
-                                                             //.equivalence))))
+                       (sequence.equivalence (product.equivalence //index.equivalence
+                                                                  //.equivalence))))
 
 (type: .public (Resource a)
   (+State Try Pool a))
@@ -56,7 +56,7 @@
      (let [<value>' <value>]
        (with_expansions [<try_again> (as_is (again (.++ idx)))]
          (loop [idx 0]
-           (case (row.item idx pool)
+           (case (sequence.item idx pool)
              {try.#Success entry}
              (case entry
                [index {<tag> reference}]
@@ -78,7 +78,7 @@
                               (//unsigned.+/2 @new)
                               (# ! each //index.index)))]
                  (in [[next
-                       (row.suffix [current new] pool)]
+                       (sequence.suffix [current new] pool)]
                       current]))))))))])
 
 (template: (!index <index>)
@@ -149,12 +149,12 @@
 (def: .public writer
   (Writer Pool)
   (function (_ [next pool])
-    (row#mix (function (_ [_index post] pre)
-               (specification#composite pre (//.writer post)))
-             (format.bits/16 (!index next))
-             pool)))
+    (sequence#mix (function (_ [_index post] pre)
+                    (specification#composite pre (//.writer post)))
+                  (format.bits/16 (!index next))
+                  pool)))
 
 (def: .public empty
   Pool
   [(|> 1 //unsigned.u2 try.trusted //index.index)
-   row.empty])
+   sequence.empty])
diff --git a/stdlib/source/library/lux/target/jvm/field.lux b/stdlib/source/library/lux/target/jvm/field.lux
index 9d1b50706..4a1860f1a 100644
--- a/stdlib/source/library/lux/target/jvm/field.lux
+++ b/stdlib/source/library/lux/target/jvm/field.lux
@@ -9,7 +9,7 @@
      [format
       ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]]
      [collection
-      ["[0]" row {"+" Row}]]]]]
+      ["[0]" sequence {"+" Sequence}]]]]]
   ["[0]" // "_"
    ["[0]" modifier {"+" Modifier modifiers:}]
    ["[1][0]" constant {"+" UTF8}
@@ -26,7 +26,7 @@
      [#modifier (Modifier Field)
       #name (Index UTF8)
       #descriptor (Index (Descriptor Value))
-      #attributes (Row Attribute)])))
+      #attributes (Sequence Attribute)])))
 
 (modifiers: Field
   ["0001" public]
@@ -46,7 +46,7 @@
       modifier.equivalence
       //index.equivalence
       //index.equivalence
-      (row.equivalence //attribute.equivalence)))
+      (sequence.equivalence //attribute.equivalence)))
 
 (def: .public (writer field)
   (Writer Field)
@@ -57,11 +57,11 @@
                 [modifier.writer #modifier]
                 [//index.writer #name]
                 [//index.writer #descriptor]
-                [(binaryF.row/16 //attribute.writer) #attributes]))
+                [(binaryF.sequence/16 //attribute.writer) #attributes]))
           )))
 
 (def: .public (field modifier name type attributes)
-  (-> (Modifier Field) UTF8 (Type Value) (Row Attribute)
+  (-> (Modifier Field) UTF8 (Type Value) (Sequence Attribute)
       (Resource Field))
   (do //constant/pool.monad
     [@name (//constant/pool.utf8 name)
diff --git a/stdlib/source/library/lux/target/jvm/method.lux b/stdlib/source/library/lux/target/jvm/method.lux
index e4b70f437..c1c711379 100644
--- a/stdlib/source/library/lux/target/jvm/method.lux
+++ b/stdlib/source/library/lux/target/jvm/method.lux
@@ -11,7 +11,7 @@
      ["[0]" format "_"
       ["[1]" binary {"+" Writer} ("[1]#[0]" monoid)]]
      [collection
-      ["[0]" row {"+" Row}]]]]]
+      ["[0]" sequence {"+" Sequence}]]]]]
   ["[0]" // "_"
    ["[1][0]" modifier {"+" Modifier modifiers:}]
    ["[1][0]" index {"+" Index}]
@@ -32,7 +32,7 @@
      [#modifier (Modifier Method)
       #name (Index UTF8)
       #descriptor (Index (Descriptor //type/category.Method))
-      #attributes (Row Attribute)])))
+      #attributes (Sequence Attribute)])))
 
 (modifiers: Method
   ["0001" public]
@@ -57,7 +57,7 @@
      @descriptor (//constant/pool.descriptor (//type.descriptor type))
      attributes (|> attributes
                     (monad.all !)
-                    (# ! each row.of_list))
+                    (# ! each sequence.of_list))
      attributes (case code
                   {.#Some code}
                   (do !
@@ -74,8 +74,8 @@
                      @code (//attribute.code [//attribute/code.#limit (value@ //bytecode/environment.#limit environment)
                                               //attribute/code.#code bytecode
                                               //attribute/code.#exception_table exceptions
-                                              //attribute/code.#attributes (row.row)])]
-                    (in (row.suffix @code attributes)))
+                                              //attribute/code.#attributes (sequence.sequence)])]
+                    (in (sequence.suffix @code attributes)))
                   
                   {.#None}
                   (in attributes))]
@@ -90,7 +90,7 @@
       //modifier.equivalence
       //index.equivalence
       //index.equivalence
-      (row.equivalence //attribute.equivalence)
+      (sequence.equivalence //attribute.equivalence)
       ))
 
 (def: .public (writer field)
@@ -102,5 +102,5 @@
                 [//modifier.writer #modifier]
                 [//index.writer #name]
                 [//index.writer #descriptor]
-                [(format.row/16 //attribute.writer) #attributes]))
+                [(format.sequence/16 //attribute.writer) #attributes]))
           )))
diff --git a/stdlib/source/library/lux/time/instant.lux b/stdlib/source/library/lux/time/instant.lux
index ea69493f9..a907624ab 100644
--- a/stdlib/source/library/lux/time/instant.lux
+++ b/stdlib/source/library/lux/time/instant.lux
@@ -16,9 +16,7 @@
      ["<>" parser
       ["<[0]>" text {"+" Parser}]]]
     [data
-     ["[0]" text ("[1]#[0]" monoid)]
-     [collection
-      ["[0]" row]]]
+     ["[0]" text ("[1]#[0]" monoid)]]
     [math
      [number
       ["i" int]
diff --git a/stdlib/source/library/lux/tool/compiler.lux b/stdlib/source/library/lux/tool/compiler.lux
index 34aaa24b1..a5891d2bb 100644
--- a/stdlib/source/library/lux/tool/compiler.lux
+++ b/stdlib/source/library/lux/tool/compiler.lux
@@ -6,9 +6,7 @@
      ["[0]" exception {"+" exception:}]]
     [data
      [binary {"+" Binary}]
-     ["[0]" text]
-     [collection
-      ["[0]" row {"+" Row}]]]
+     ["[0]" text]]
     [world
      ["[0]" file {"+" Path}]]]]
   [/
diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux
index 4fa1d7ed8..4cb35a1ea 100644
--- a/stdlib/source/library/lux/tool/compiler/default/init.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/init.lux
@@ -16,7 +16,7 @@
       ["[0]" list ("[1]#[0]" functor)]
       ["[0]" dictionary]
       ["[0]" set]
-      ["[0]" row ("[1]#[0]" functor)]]]
+      ["[0]" sequence ("[1]#[0]" functor)]]]
     ["[0]" meta]
     [world
      ["[0]" file]]]]
@@ -259,9 +259,9 @@
                                   (in [state
                                        {.#Right [descriptor
                                                  (document.write key analysis_module)
-                                                 (row#each (function (_ [artifact_id custom directive])
-                                                             [artifact_id custom (write_directive directive)])
-                                                           final_buffer)]}]))
+                                                 (sequence#each (function (_ [artifact_id custom directive])
+                                                                  [artifact_id custom (write_directive directive)])
+                                                                final_buffer)]}]))
 
                                 {.#Some [source requirements temporary_payload]}
                                 (let [[temporary_buffer temporary_registry] temporary_payload]
diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux
index e6b1ea9bb..34e34a743 100644
--- a/stdlib/source/library/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux
@@ -22,7 +22,7 @@
       ["%" format {"+" format}]]
      [collection
       ["[0]" dictionary {"+" Dictionary}]
-      ["[0]" row {"+" Row} ("[1]#[0]" mix)]
+      ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]
       ["[0]" set {"+" Set}]
       ["[0]" list ("[1]#[0]" monoid functor mix)]]
      [format
@@ -102,12 +102,12 @@
         (do [! ..monad]
           [_ (ioW.prepare system static module_id)
            _ (for [@.python (|> output
-                                row.list
+                                sequence.list
                                 (list.sub 128)
                                 (monad.each ! (monad.each ! write_artifact!))
                                 (: (Action (List (List Any)))))]
                   (|> output
-                      row.list
+                      sequence.list
                       (monad.each ..monad write_artifact!)
                       (: (Action (List Any)))))
            document (# async.monad in
@@ -281,9 +281,9 @@
                     ///directive.#state
                     extension.#state
                     ///generation.#log])
-           (row#mix (function (_ right left)
-                      (format left ..compilation_log_separator right))
-                    module)))
+           (sequence#mix (function (_ right left)
+                           (format left ..compilation_log_separator right))
+                         module)))
 
     (def: with_reset_log
       (All (_ <type_vars>)
@@ -293,7 +293,7 @@
               ///directive.#state
               extension.#state
               ///generation.#log]
-             row.empty))
+             sequence.empty))
 
     (def: empty
       (Set Module)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
index 108e94a40..a938f0ea5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
@@ -13,7 +13,7 @@
      ["[0]" text ("[1]#[0]" equivalence)
       ["%" format {"+" format}]]
      [collection
-      ["[0]" row {"+" Row}]
+      ["[0]" sequence {"+" Sequence}]
       ["[0]" list ("[1]#[0]" functor)]]]
     [math
      [number
@@ -35,7 +35,7 @@
   [archive.ID artifact.ID])
 
 (type: .public (Buffer directive)
-  (Row [artifact.ID (Maybe Text) directive]))
+  (Sequence [artifact.ID (Maybe Text) directive]))
 
 (exception: .public (cannot_interpret [error Text])
   (exception.report
@@ -75,7 +75,7 @@
     #registry artifact.Registry
     #counter Nat
     #context (Maybe artifact.ID)
-    #log (Row Text)]))
+    #log (Sequence Text)]))
 
 (template [<special> <general>]
   [(type: .public (<special> anchor expression directive)
@@ -101,11 +101,11 @@
    #registry artifact.empty
    #counter 0
    #context {.#None}
-   #log row.empty])
+   #log sequence.empty])
 
 (def: .public empty_buffer
   Buffer
-  row.empty)
+  sequence.empty)
 
 (template [<tag>
            <with_declaration> <with_type> <with_value>
@@ -234,9 +234,9 @@
     (case ?buffer
       {.#Some buffer}
       ... TODO: Optimize by no longer checking for overwrites...
-      (if (row.any? (|>> product.left (n.= artifact_id)) buffer)
+      (if (sequence.any? (|>> product.left (n.= artifact_id)) buffer)
         (phase.except ..cannot_overwrite_output [artifact_id])
-        (extension.update (with@ #buffer {.#Some (row.suffix [artifact_id custom code] buffer)})))
+        (extension.update (with@ #buffer {.#Some (sequence.suffix [artifact_id custom code] buffer)})))
       
       {.#None}
       (phase.except ..no_buffer_for_saving_code [artifact_id]))))
@@ -338,5 +338,5 @@
     (-> Text (Operation anchor expression directive Any)))
   (function (_ [bundle state])
     {try.#Success [[bundle
-                    (revised@ #log (row.suffix message) state)]
+                    (revised@ #log (sequence.suffix message) state)]
                    []]}))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
index edf4eb749..4e03d12f5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
@@ -16,7 +16,7 @@
      [collection
       ["[0]" list ("[1]#[0]" functor mix)]
       ["[0]" dictionary]
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     [macro
      ["[0]" template]]
     [math
@@ -193,7 +193,7 @@
          (do pool.monad
            [constant (`` (|> value (~~ (template.spliced <constant>))))
             attribute (attribute.constant constant)]
-           (field.field ..constant::modifier name <type> (row.row attribute)))])
+           (field.field ..constant::modifier name <type> (sequence.sequence attribute)))])
       ([.#Bit type.boolean [(case> #0 +0 #1 +1) .i64 i32.i32 constant.integer pool.integer]]
        [.#Int type.byte [.i64 i32.i32 constant.integer pool.integer]]
        [.#Int type.short [.i64 i32.i32 constant.integer pool.integer]]
@@ -212,7 +212,7 @@
     ... TODO: Handle annotations.
     {#Variable [name visibility state annotations type]}
     (field.field (modifier#composite visibility state)
-                 name type (row.row))))
+                 name type (sequence.sequence))))
 
 (def: (method_definition [mapping selfT] [analyse synthesize generate])
   (-> [Mapping .Type]
@@ -293,7 +293,7 @@
          ...                                    super_class super_interfaces
          ...                                    (list#each ..field_definition fields)
          ...                                    (list) ... TODO: Add methods
-         ...                                    (row.row))]))
+         ...                                    (sequence.sequence))]))
          _ (directive.lifted_generation
             (generation.log! (format "Class " name)))]
         (in directive.no_requirements)))]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
index 7058b41c6..b7e629594 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
@@ -20,7 +20,7 @@
       ["[0]" list ("[1]#[0]" monad)]
       ["[0]" dictionary {"+" Dictionary}]
       ["[0]" set]
-      ["[0]" row]]
+      ["[0]" sequence]]
      ["[0]" format "_"
       ["[1]" binary]]]
     [target
@@ -1079,7 +1079,7 @@
                                    (foreign.variables total_environment)
                                    (list& (..with_anonymous_init class total_environment super_class inputsTI)
                                           method_definitions)
-                                   (row.row)))
+                                   (sequence.sequence)))
          _ (//////generation.execute! [anonymous_class_name bytecode])
          _ (//////generation.save! (%.nat artifact_id) [anonymous_class_name bytecode])]
         (anonymous_instance generate archive class total_environment)))]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
index acb4af284..8d4652175 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
@@ -15,7 +15,7 @@
       ["[0]" encoding]]
      [collection
       ["[0]" list ("[1]#[0]" functor monoid)]
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     ["[0]" macro
      [syntax {"+" syntax:}]
      ["[0]" code]]
@@ -287,7 +287,7 @@
     (in [(|> artifact.empty
              artifact.resource
              product.right)
-         (row.row [(%.nat ..module_id)
-                   (|> ..runtime
-                       _.code
-                       (# encoding.utf8 encoded))])])))
+         (sequence.sequence [(%.nat ..module_id)
+                             (|> ..runtime
+                                 _.code
+                                 (# encoding.utf8 encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
index c935522f2..65396d0d7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
@@ -16,7 +16,7 @@
        ["[0]" utf8]]]
      [collection
       ["[0]" list ("[1]#[0]" functor)]
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     ["[0]" macro
      [syntax {"+" syntax:}]
      ["[0]" code]]
@@ -779,8 +779,8 @@
     (in [(|> artifact.empty
              artifact.resource
              product.right)
-         (row.row [..module_id
-                   {.#None}
-                   (|> ..runtime
-                       _.code
-                       (# utf8.codec encoded))])])))
+         (sequence.sequence [..module_id
+                             {.#None}
+                             (|> ..runtime
+                                 _.code
+                                 (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
index 468ddd17b..89fe59585 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
@@ -9,7 +9,7 @@
       ["n" nat]]
      [collection
       ["[0]" list ("[1]#[0]" monoid functor)]
-      ["[0]" row]]
+      ["[0]" sequence]]
      ["[0]" format "_"
       ["[1]" binary]]]
     [target
@@ -110,7 +110,7 @@
                                       (..internal /abstract.class) (list)
                                       fields
                                       methods
-                                      (row.row)))
+                                      (sequence.sequence)))
      .let [bytecode (format.result class.writer class)]
      _ (generation.execute! [function_class bytecode])
      _ (generation.save! function_class {.#None} [function_class bytecode])]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux
index 0bb37e3da..4cbfa7d82 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux
@@ -3,7 +3,7 @@
    [lux {"-" Type type}
     [data
      [collection
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     [target
      [jvm
       ["[0]" field {"+" Field}]
@@ -23,4 +23,4 @@
 
 (def: .public (constant name type)
   (-> Text (Type Value) (Resource Field))
-  (field.field ..modifier name type (row.row)))
+  (field.field ..modifier name type (sequence.sequence)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
index 9365336e8..5c2953cd9 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
@@ -4,7 +4,7 @@
     [data
      [collection
       ["[0]" list ("[1]#[0]" functor)]
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     [target
      [jvm
       ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)]
@@ -46,7 +46,7 @@
 
 (def: .public (variable name type)
   (-> Text (Type Value) (Resource Field))
-  (field.field ..modifier name type (row.row)))
+  (field.field ..modifier name type (sequence.sequence)))
 
 (def: .public (variables naming amount)
   (-> (-> Register Text) Nat (List (Resource Field)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux
index 747d53f66..9a4aaaba5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux
@@ -3,8 +3,7 @@
    [lux {"-" Type}
     [data
      [collection
-      ["[0]" list]
-      ["[0]" row]]]
+      ["[0]" list]]]
     [target
      [jvm
       ["_" bytecode {"+" Bytecode}]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
index 216c8cba8..6fedb0acf 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
@@ -7,8 +7,7 @@
      [number
       ["n" nat]]
      [collection
-      ["[0]" list ("[1]#[0]" functor)]
-      ["[0]" row]]]
+      ["[0]" list ("[1]#[0]" functor)]]]
     [target
      [jvm
       ["[0]" field {"+" Field}]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
index 2684da183..4cce47a47 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
@@ -19,7 +19,7 @@
      [collection
       ["[0]" array]
       ["[0]" dictionary {"+" Dictionary}]
-      ["[0]" row]]
+      ["[0]" sequence]]
      ["[0]" format "_"
       ["[1]" binary]]]
     [target
@@ -107,7 +107,7 @@
                               class.public
                               (encoding/name.internal bytecode_name)
                               (encoding/name.internal "java.lang.Object") (list)
-                              (list (field.field ..value::modifier ..value::field ..value::type (row.row)))
+                              (list (field.field ..value::modifier ..value::field ..value::type (sequence.sequence)))
                               (list (method.method ..init::modifier "<clinit>" ..init::type
                                                    (list)
                                                    {.#Some
@@ -115,7 +115,7 @@
                                                         valueG
                                                         (_.putstatic (type.class bytecode_name (list)) ..value::field ..value::type)
                                                         _.return)}))
-                              (row.row))]
+                              (sequence.sequence))]
     (io.run! (do [! (try.with io.monad)]
                [bytecode (# ! each (format.result class.writer)
                             (io.io bytecode))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
index cfe9bace9..0c07313f1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
@@ -7,7 +7,7 @@
      ["[0]" try]]
     [data
      [collection
-      ["[0]" row]]
+      ["[0]" sequence]]
      ["[0]" format "_"
       ["[1]" binary]]]
     [target
@@ -149,4 +149,4 @@
                       (list)
                       (list)
                       (list main)
-                      (row.row)))]))
+                      (sequence.sequence)))]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
index d8d042c67..096564fa7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
@@ -10,7 +10,7 @@
      [binary {"+" Binary}]
      [collection
       ["[0]" list ("[1]#[0]" functor)]
-      ["[0]" row]]
+      ["[0]" sequence]]
      ["[0]" format "_"
       ["[1]" binary]]
      [text
@@ -536,7 +536,7 @@
                                           right_projection::method
 
                                           ..try::method))
-                                  (row.row)))]
+                                  (sequence.sequence)))]
     (do ////.monad
       [_ (generation.execute! [class bytecode])]
       (generation.save! ..artifact_id {.#None} [class bytecode]))))
@@ -584,7 +584,7 @@
                          (field.field (modifier#composite field.public field.final)
                                       //function/count.field
                                       //function/count.type
-                                      (row.row)))
+                                      (sequence.sequence)))
         bytecode (<| (format.result class.writer)
                      try.trusted
                      (class.class jvm/version.v6_0
@@ -593,7 +593,7 @@
                                   (name.internal (..reflection ^Object)) (list)
                                   (list partial_count)
                                   (list& <init>::method apply::method+)
-                                  (row.row)))]
+                                  (sequence.sequence)))]
     (do ////.monad
       [_ (generation.execute! [class bytecode])]
       (generation.save! //function.artifact_id {.#None} [class bytecode]))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
index b1f3932b2..688b80024 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
@@ -16,7 +16,7 @@
        ["[0]" utf8]]]
      [collection
       ["[0]" list ("[1]#[0]" functor)]
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     ["[0]" macro
      [syntax {"+" syntax:}]
      ["[0]" code]]
@@ -426,8 +426,8 @@
     (in [(|> artifact.empty
              artifact.resource
              product.right)
-         (row.row [..module_id
-                   {.#None}
-                   (|> ..runtime
-                       _.code
-                       (# utf8.codec encoded))])])))
+         (sequence.sequence [..module_id
+                             {.#None}
+                             (|> ..runtime
+                                 _.code
+                                 (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
index 1b29003d1..2abc4ecec 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
@@ -16,7 +16,7 @@
        ["[0]" utf8]]]
      [collection
       ["[0]" list ("[1]#[0]" functor)]
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     ["[0]" macro
      [syntax {"+" syntax:}]
      ["[0]" code]]
@@ -604,7 +604,7 @@
     (in [(|> artifact.empty
              artifact.resource
              product.right)
-         (row.row [..module_id
-                   (|> ..runtime
-                       _.code
-                       (# utf8.codec encoded))])])))
+         (sequence.sequence [..module_id
+                             (|> ..runtime
+                                 _.code
+                                 (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
index 3615afcb5..47368be77 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
@@ -16,7 +16,7 @@
        ["[0]" utf8]]]
      [collection
       ["[0]" list ("[1]#[0]" functor)]
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     ["[0]" macro
      [syntax {"+" syntax:}]
      ["[0]" code]]
@@ -453,8 +453,8 @@
     (in [(|> artifact.empty
              artifact.resource
              product.right)
-         (row.row [..module_id
-                   {.#None}
-                   (|> ..runtime
-                       _.code
-                       (# utf8.codec encoded))])])))
+         (sequence.sequence [..module_id
+                             {.#None}
+                             (|> ..runtime
+                                 _.code
+                                 (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
index e3523fe0f..2c7eb997a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
@@ -16,7 +16,7 @@
        ["[0]" utf8]]]
      [collection
       ["[0]" list ("[1]#[0]" functor)]
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     ["[0]" macro
      [syntax {"+" syntax:}]
      ["[0]" code]]
@@ -839,7 +839,7 @@
     (in [(|> artifact.empty
              artifact.resource
              product.right)
-         (row.row [(%.nat ..module_id)
-                   (|> ..runtime
-                       _.code
-                       (# utf8.codec encoded))])])))
+         (sequence.sequence [(%.nat ..module_id)
+                             (|> ..runtime
+                                 _.code
+                                 (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
index e5657407e..adb512ee1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
@@ -16,7 +16,7 @@
        ["[0]" utf8]]]
      [collection
       ["[0]" list ("[1]#[0]" functor)]
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     ["[0]" macro
      [syntax {"+" syntax:}]
      ["[0]" code]]
@@ -397,8 +397,8 @@
     (in [(|> artifact.empty
              artifact.resource
              product.right)
-         (row.row [..module_id
-                   {.#None}
-                   (|> ..runtime
-                       _.code
-                       (# utf8.codec encoded))])])))
+         (sequence.sequence [..module_id
+                             {.#None}
+                             (|> ..runtime
+                                 _.code
+                                 (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
index c9cad6f31..96ad55b4a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
@@ -16,7 +16,7 @@
        ["[0]" utf8]]]
      [collection
       ["[0]" list ("[1]#[0]" functor)]
-      ["[0]" row]]]
+      ["[0]" sequence]]]
     ["[0]" macro
      [syntax {"+" syntax:}]
      ["[0]" code]]
@@ -364,7 +364,7 @@
     (in [(|> artifact.empty
              artifact.resource
              product.right)
-         (row.row [(%.nat ..module_id)
-                   (|> ..runtime
-                       _.code
-                       (# utf8.codec encoded))])])))
+         (sequence.sequence [(%.nat ..module_id)
+                             (|> ..runtime
+                                 _.code
+                                 (# utf8.codec encoded))])])))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
index dae79178d..3b8b0f728 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
@@ -22,7 +22,7 @@
       ["[0]" list ("[1]#[0]" functor mix)]
       ["[0]" dictionary {"+" Dictionary}]
       ["[0]" set]
-      ["[0]" row {"+" Row}]]]
+      ["[0]" sequence {"+" Sequence}]]]
     [math
      [number
       ["n" nat ("[1]#[0]" equivalence)]]]
@@ -38,7 +38,7 @@
     [version {"+" Version}]]])
 
 (type: .public Output
-  (Row [artifact.ID (Maybe Text) Binary]))
+  (Sequence [artifact.ID (Maybe Text) Binary]))
 
 (exception: .public (unknown_document [module Module
                                        known_modules (List Module)])
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
index 178b8fa4a..1398113a2 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
@@ -14,7 +14,7 @@
       ["%" format {"+" format}]]
      [collection
       ["[0]" list]
-      ["[0]" row {"+" Row} ("[1]#[0]" functor mix)]
+      ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor mix)]
       ["[0]" dictionary {"+" Dictionary}]]
      [format
       ["[0]" binary {"+" Writer}]]]
@@ -41,21 +41,21 @@
 
 (abstract: .public Registry
   (Record
-   [#artifacts (Row Artifact)
+   [#artifacts (Sequence Artifact)
     #resolver (Dictionary Text ID)])
 
   (def: .public empty
     Registry
-    (:abstraction [#artifacts row.empty
+    (:abstraction [#artifacts sequence.empty
                    #resolver (dictionary.empty text.hash)]))
 
   (def: .public artifacts
-    (-> Registry (Row Artifact))
+    (-> Registry (Sequence Artifact))
     (|>> :representation (value@ #artifacts)))
 
   (def: next
     (-> Registry ID)
-    (|>> ..artifacts row.size))
+    (|>> ..artifacts sequence.size))
 
   (def: .public (resource registry)
     (-> Registry [ID Registry])
@@ -63,8 +63,8 @@
       [id
        (|> registry
            :representation
-           (revised@ #artifacts (row.suffix [#id id
-                                             #category {#Anonymous}]))
+           (revised@ #artifacts (sequence.suffix [#id id
+                                                  #category {#Anonymous}]))
            :abstraction)]))
 
   (template [<tag> <create> <fetch>]
@@ -74,8 +74,8 @@
          [id
           (|> registry
               :representation
-              (revised@ #artifacts (row.suffix [#id id
-                                                #category {<tag> name}]))
+              (revised@ #artifacts (sequence.suffix [#id id
+                                                     #category {<tag> name}]))
               (revised@ #resolver (dictionary.has name id))
               :abstraction)]))
 
@@ -84,7 +84,7 @@
        (|> registry
            :representation
            (value@ #artifacts)
-           row.list
+           sequence.list
            (list.all (|>> (value@ #category)
                           (case> {<tag> name} {.#Some name}
                                  _ {.#None})))))]
@@ -118,11 +118,11 @@
                            [4 #Generator binary.text] 
                            [5 #Directive binary.text]
                            [6 #Custom binary.text]))))
-          artifacts (: (Writer (Row Category))
-                       (binary.row/64 category))]
+          artifacts (: (Writer (Sequence Category))
+                       (binary.sequence/64 category))]
       (|>> :representation
            (value@ #artifacts)
-           (row#each (value@ #category))
+           (sequence#each (value@ #category))
            artifacts)))
 
   (exception: .public (invalid_category [tag Nat])
@@ -147,22 +147,22 @@
                            [6 #Custom <binary>.text])
                           
                           _ (<>.failure (exception.error ..invalid_category [tag])))))]
-      (|> (<binary>.row/64 category)
-          (# <>.monad each (row#mix (function (_ artifact registry)
-                                      (product.right
-                                       (case artifact
-                                         {#Anonymous}
-                                         (..resource registry)
-
-                                         (^template [<tag> <create>]
-                                           [{<tag> name}
-                                            (<create> name registry)])
-                                         ([#Definition ..definition]
-                                          [#Analyser ..analyser]
-                                          [#Synthesizer ..synthesizer]
-                                          [#Generator ..generator]
-                                          [#Directive ..directive]
-                                          [#Custom ..custom])
-                                         )))
-                                    ..empty)))))
+      (|> (<binary>.sequence/64 category)
+          (# <>.monad each (sequence#mix (function (_ artifact registry)
+                                           (product.right
+                                            (case artifact
+                                              {#Anonymous}
+                                              (..resource registry)
+
+                                              (^template [<tag> <create>]
+                                                [{<tag> name}
+                                                 (<create> name registry)])
+                                              ([#Definition ..definition]
+                                               [#Analyser ..analyser]
+                                               [#Synthesizer ..synthesizer]
+                                               [#Generator ..generator]
+                                               [#Directive ..directive]
+                                               [#Custom ..custom])
+                                              )))
+                                         ..empty)))))
   )
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
index c2b649fd1..0ddf7ae0b 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
@@ -21,7 +21,7 @@
      [collection
       ["[0]" list ("[1]#[0]" functor mix)]
       ["[0]" dictionary {"+" Dictionary}]
-      ["[0]" row {"+" Row}]
+      ["[0]" sequence {"+" Sequence}]
       ["[0]" set]]]
     [math
      [number
@@ -212,15 +212,15 @@
 
 (def: (loaded_document extension host module_id expected actual document)
   (All (_ expression directive)
-    (-> Text (generation.Host expression directive) archive.ID (Row Artifact) (Dictionary Text Binary) (Document .Module)
+    (-> Text (generation.Host expression directive) archive.ID (Sequence Artifact) (Dictionary Text Binary) (Document .Module)
         (Try [(Document .Module) Bundles Output])))
   (do [! try.monad]
     [[definitions bundles] (: (Try [Definitions Bundles Output])
-                              (loop [input (row.list expected)
+                              (loop [input (sequence.list expected)
                                      definitions (: Definitions
                                                     (dictionary.empty text.hash))
                                      bundles ..empty_bundles
-                                     output (: Output row.empty)]
+                                     output (: Output sequence.empty)]
                                 (let [[analysers synthesizers generators directives] bundles]
                                   (case input
                                     {.#Item [[artifact_id artifact_category] input']}
@@ -231,7 +231,7 @@
                                             (case artifact_category
                                               {artifact.#Anonymous}
                                               (do !
-                                                [.let [output (row.suffix [artifact_id {.#None} data] output)]
+                                                [.let [output (sequence.suffix [artifact_id {.#None} data] output)]
                                                  _ (# host re_learn context {.#None} directive)]
                                                 (in [definitions
                                                      [analysers
@@ -241,7 +241,7 @@
                                                      output]))
                                               
                                               {artifact.#Definition name}
-                                              (let [output (row.suffix [artifact_id {.#None} data] output)]
+                                              (let [output (sequence.suffix [artifact_id {.#None} data] output)]
                                                 (if (text#= $/program.name name)
                                                   (in [definitions
                                                        [analysers
@@ -260,7 +260,7 @@
 
                                               {artifact.#Analyser extension}
                                               (do !
-                                                [.let [output (row.suffix [artifact_id {.#None} data] output)]
+                                                [.let [output (sequence.suffix [artifact_id {.#None} data] output)]
                                                  value (# host re_load context {.#None} directive)]
                                                 (in [definitions
                                                      [(dictionary.has extension (:as analysis.Handler value) analysers)
@@ -271,7 +271,7 @@
 
                                               {artifact.#Synthesizer extension}
                                               (do !
-                                                [.let [output (row.suffix [artifact_id {.#None} data] output)]
+                                                [.let [output (sequence.suffix [artifact_id {.#None} data] output)]
                                                  value (# host re_load context {.#None} directive)]
                                                 (in [definitions
                                                      [analysers
@@ -282,7 +282,7 @@
 
                                               {artifact.#Generator extension}
                                               (do !
-                                                [.let [output (row.suffix [artifact_id {.#None} data] output)]
+                                                [.let [output (sequence.suffix [artifact_id {.#None} data] output)]
                                                  value (# host re_load context {.#None} directive)]
                                                 (in [definitions
                                                      [analysers
@@ -293,7 +293,7 @@
 
                                               {artifact.#Directive extension}
                                               (do !
-                                                [.let [output (row.suffix [artifact_id {.#None} data] output)]
+                                                [.let [output (sequence.suffix [artifact_id {.#None} data] output)]
                                                  value (# host re_load context {.#None} directive)]
                                                 (in [definitions
                                                      [analysers
@@ -304,7 +304,7 @@
 
                                               {artifact.#Custom name}
                                               (do !
-                                                [.let [output (row.suffix [artifact_id {.#Some name} data] output)]
+                                                [.let [output (sequence.suffix [artifact_id {.#Some name} data] output)]
                                                  _ (# host re_learn context {.#Some name} directive)]
                                                 (in [definitions
                                                      [analysers
@@ -435,7 +435,7 @@
                     (list#each product.right)
                     (monad.mix try.monad
                                (function (_ [module [module_id [descriptor document]]] archive)
-                                 (archive.has module [descriptor document (: Output row.empty)] archive))
+                                 (archive.has module [descriptor document (: Output sequence.empty)] archive))
                                archive)
                     (# try.monad each (dependency.load_order $.key))
                     (# try.monad conjoint)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager.lux b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
index 1b96d7b64..ba9ae0b92 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
@@ -7,7 +7,7 @@
      [binary {"+" Binary}]
      [collection
       [dictionary {"+" Dictionary}]
-      ["[0]" row]
+      ["[0]" sequence]
       ["[0]" list ("[1]#[0]" functor)]]]
     [world
      ["[0]" file]]]]
@@ -37,6 +37,6 @@
                (|> descriptor
                    (value@ descriptor.#registry)
                    artifact.artifacts
-                   row.list
+                   sequence.list
                    (list#each (|>> (value@ artifact.#id)))
                    [module_id]))))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
index 24cdea54c..14d891bd0 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
@@ -12,7 +12,7 @@
      ["[0]" text
       ["%" format {"+" format}]]
      [collection
-      ["[0]" row]
+      ["[0]" sequence]
       ["[0]" list ("[1]#[0]" functor)]
       ["[0]" dictionary]
       ["[0]" set {"+" Set}]]]
@@ -158,7 +158,7 @@
              (function (_ [artifact custom content] sink)
                (..write_class static module artifact custom content sink))
              sink
-             (row.list output)))
+             (sequence.list output)))
 
 (def: (read_jar_entry_with_unknown_size input)
   (-> java/util/jar/JarInputStream [Nat Binary])
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux
index d9380b3d3..9e2ab96c1 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux
@@ -13,7 +13,7 @@
       ["%" format {"+" format}]
       ["[0]" encoding]]
      [collection
-      ["[0]" row]
+      ["[0]" sequence]
       ["[0]" list ("[1]#[0]" functor mix)]
       ["[0]" dictionary {"+" Dictionary}]
       ["[0]" set]]
@@ -56,7 +56,7 @@
 
 (def: bundle_module
   (-> Output (Try _.Expression))
-  (|>> row.list
+  (|>> sequence.list
        (list#each product.right)
        (monad.mix try.monad
                   (function (_ content so_far)
@@ -128,5 +128,5 @@
                          (: (Dictionary Module archive.ID)))]
        entries (monad.each ! (..write_module now mapping) order)]
       (in (|> entries
-              row.of_list
+              sequence.of_list
               (binary.result tar.writer))))))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
index 2476f3c6c..d56673f33 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
@@ -14,7 +14,7 @@
       [encoding 
        ["[0]" utf8]]]
      [collection
-      ["[0]" row]
+      ["[0]" sequence]
       ["[0]" list ("[1]#[0]" functor)]]]]]
   [program
    [compositor
@@ -38,7 +38,7 @@
     (-> (-> directive directive directive) [archive.ID Output] directive
         (Try directive)))
   (|> output
-      row.list
+      sequence.list
       (list#each (|>> product.right product.right))
       (monad.mix try.monad
                  (function (_ content so_far)
diff --git a/stdlib/source/library/lux/type/resource.lux b/stdlib/source/library/lux/type/resource.lux
index 9105a18f1..3ed7cc629 100644
--- a/stdlib/source/library/lux/type/resource.lux
+++ b/stdlib/source/library/lux/type/resource.lux
@@ -15,7 +15,7 @@
       ["%" format {"+" format}]]
      [collection
       ["[0]" set]
-      ["[0]" row {"+" Row}]
+      ["[0]" sequence {"+" Sequence}]
       ["[0]" list ("[1]#[0]" functor mix)]]]
     ["[0]" macro
      [syntax {"+" syntax:}]]
@@ -140,11 +140,11 @@
                                         (function (_ from to)
                                           (do maybe.monad
                                             [input (list.item from g!inputs)]
-                                            (in (row.suffix input to))))
-                                        (: (Row Code) row.empty)
+                                            (in (sequence.suffix input to))))
+                                        (: (Sequence Code) sequence.empty)
                                         swaps)
                              maybe.trusted
-                             row.list)
+                             sequence.list)
                g!inputsT+ (list#each (|>> (~) (..Key ..Commutative) (`)) g!inputs)
                g!outputsT+ (list#each (|>> (~) (..Key ..Commutative) (`)) g!outputs)]]
         (in (list (` (: (All ((~ g!_) (~ g!!) (~+ g!inputs) (~ g!context))
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index 7db8d5c13..90a74a93e 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -14,7 +14,7 @@
       ["%" format {"+" format}]]
      [collection
       ["[0]" list ("[1]#[0]" monad)]
-      ["[0]" row]
+      ["[0]" sequence]
       ["[0]" array]
       ["[0]" queue]
       ["[0]" set]
@@ -72,13 +72,13 @@
                      (in (` (: (~ (@Equivalence inputT))
                                (<eq> (~ argC))))))]
 
-                  [.Maybe      (~! maybe.equivalence)]
-                  [.List       (~! list.equivalence)]
-                  [row.Row     (~! row.equivalence)]
-                  [array.Array (~! array.equivalence)]
-                  [queue.Queue (~! queue.equivalence)]
-                  [set.Set     (~! set.equivalence)]
-                  [tree.Tree   (~! tree.equivalence)]
+                  [.Maybe            (~! maybe.equivalence)]
+                  [.List             (~! list.equivalence)]
+                  [sequence.Sequence (~! sequence.equivalence)]
+                  [array.Array       (~! array.equivalence)]
+                  [queue.Queue       (~! queue.equivalence)]
+                  [set.Set           (~! set.equivalence)]
+                  [tree.Tree         (~! tree.equivalence)]
                   ))
             (do !
               [[_ _ valC] (<type>.applied ($_ <>.and
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 964d7918b..b947e4ea9 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -16,7 +16,7 @@
       ["%" format {"+" format}]]
      [collection
       ["[0]" list ("[1]#[0]" monad)]
-      ["[0]" row {"+" row}]
+      ["[0]" sequence {"+" sequence}]
       ["[0]" dictionary]]]
     [macro
      [syntax {"+" syntax:}]
@@ -59,8 +59,8 @@
   (def: (encoded input)
     (let [high (|> input (i64.and high_mask) (i64.right_shifted 32))
           low (i64.and low_mask input)]
-      {/.#Array (row (|> high .int int.frac {/.#Number})
-                     (|> low .int int.frac {/.#Number}))}))
+      {/.#Array (sequence (|> high .int int.frac {/.#Number})
+                          (|> low .int int.frac {/.#Number}))}))
   (def: decoded
     (</>.result (</>.array
                  (do <>.monad
@@ -162,7 +162,7 @@
                                            (<type>.exactly .List)
                                            encoded))]
             (in (` (: (~ (@JSON#encoded inputT))
-                      (|>> ((~! list#each) (~ =sub=)) ((~! row.of_list)) {/.#Array})))))
+                      (|>> ((~! list#each) (~ =sub=)) ((~! sequence.of_list)) {/.#Array})))))
           (do !
             [.let [g!_ (code.local_symbol "_______")
                    g!input (code.local_symbol "_______input")]
diff --git a/stdlib/source/program/compositor.lux b/stdlib/source/program/compositor.lux
index 7499075cc..90d02c44c 100644
--- a/stdlib/source/program/compositor.lux
+++ b/stdlib/source/program/compositor.lux
@@ -17,8 +17,7 @@
      ["[0]" text
       ["%" format {"+" format}]]
      [collection
-      ["[0]" dictionary {"+" Dictionary}]
-      ["[0]" row {"+" Row}]]]
+      ["[0]" dictionary {"+" Dictionary}]]]
     [time
      ["[0]" instant]]
     ["[0]" world "_"
diff --git a/stdlib/source/program/compositor/export.lux b/stdlib/source/program/compositor/export.lux
index 64cb95955..054de3741 100644
--- a/stdlib/source/program/compositor/export.lux
+++ b/stdlib/source/program/compositor/export.lux
@@ -12,7 +12,7 @@
       ["%" format {"+" format}]]
      [collection
       ["[0]" dictionary]
-      ["[0]" row]]
+      ["[0]" sequence]]
      [format
       ["[0]" binary]
       ["[0]" tar]]]
@@ -59,7 +59,7 @@
                                               tar.read_by_other)
                                           ..no_ownership
                                           source_code]}))))
-        (# try.monad each row.of_list)
+        (# try.monad each sequence.of_list)
         (# async.monad in))))
 
 (def: .public (export fs [sources target])
diff --git a/stdlib/source/program/compositor/import.lux b/stdlib/source/program/compositor/import.lux
index 04eb93e6e..fce2c29e2 100644
--- a/stdlib/source/program/compositor/import.lux
+++ b/stdlib/source/program/compositor/import.lux
@@ -16,7 +16,7 @@
       ["%" format {"+" format}]]
      [collection
       ["[0]" dictionary {"+" Dictionary}]
-      ["[0]" row]]
+      ["[0]" sequence]]
      [format
       ["[0]" tar]]]
     [tool
@@ -51,7 +51,7 @@
         (# ! each (let [! try.monad]
                     (|>> (# ! each (<binary>.result tar.parser))
                          (# ! conjoint)
-                         (# ! each (|>> row.list
+                         (# ! each (|>> sequence.list
                                         (monad.mix ! (function (_ entry import)
                                                        (case entry
                                                          {tar.#Normal [path instant mode ownership content]}
diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux
index 829dcfbcb..964ea694d 100644
--- a/stdlib/source/test/lux/control/concurrency/actor.lux
+++ b/stdlib/source/test/lux/control/concurrency/actor.lux
@@ -13,7 +13,7 @@
       ["%" format {"+" format}]]
      [collection
       ["[0]" list]
-      ["[0]" row {"+" Row}]]]
+      ["[0]" sequence {"+" Sequence}]]]
     [math
      ["[0]" random]
      [number
@@ -202,8 +202,8 @@
                events (random.list num_events random.nat)
                num_observations (# ! each (n.% num_events) random.nat)
                .let [expected (list.first num_observations events)
-                     sink (: (Atom (Row Nat))
-                             (atom.atom row.empty))]]
+                     sink (: (Atom (Sequence Nat))
+                             (atom.atom sequence.empty))]]
               (in (do async.monad
                     [agent (async.future
                             (do [! io.monad]
@@ -213,7 +213,7 @@
                                                  (async.future
                                                   (if (n.< num_observations events_seen)
                                                     (do !
-                                                      [_ (atom.update! (row.suffix event) sink)]
+                                                      [_ (atom.update! (sequence.suffix event) sink)]
                                                       (in {try.#Success (++ events_seen)}))
                                                     (do !
                                                       [_ stop]
@@ -224,5 +224,5 @@
                      _ (/.obituary agent)
                      actual (async.future (atom.read! sink))]
                     (_.cover' [/.Stop /.observe! /.obituary]
-                              (# (list.equivalence n.equivalence) = expected (row.list actual))))))
+                              (# (list.equivalence n.equivalence) = expected (sequence.list actual))))))
             ))))
diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux
index aa77d2835..1c07464c1 100644
--- a/stdlib/source/test/lux/control/concurrency/frp.lux
+++ b/stdlib/source/test/lux/control/concurrency/frp.lux
@@ -15,7 +15,7 @@
     [data
      [collection
       ["[0]" list ("[1]#[0]" mix monoid)]
-      ["[0]" row {"+" Row}]]]
+      ["[0]" sequence {"+" Sequence}]]]
     [math
      ["[0]" random]
      [number
@@ -140,14 +140,14 @@
               (in (do [! async.monad]
                     [.let [[?signal !signal] (: [(async.Async Any) (async.Resolver Any)]
                                                 (async.async []))
-                           sink (: (Atom (Row Nat))
-                                   (atom.atom row.empty))]
+                           sink (: (Atom (Sequence Nat))
+                                   (atom.atom sequence.empty))]
                      _ (async.future (/.subscribe! (function (_ value)
                                                      (do [! io.monad]
                                                        [current (atom.read! sink)
-                                                        _ (atom.update! (row.suffix value) sink)]
+                                                        _ (atom.update! (sequence.suffix value) sink)]
                                                        (if (n.< (list.size inputs)
-                                                                (++ (row.size current)))
+                                                                (++ (sequence.size current)))
                                                          (in {.#Some []})
                                                          (do !
                                                            [_ (!signal [])]
@@ -157,7 +157,7 @@
                      listened (|> sink
                                   atom.read!
                                   async.future
-                                  (# ! each row.list))]
+                                  (# ! each sequence.list))]
                     (_.cover' [/.Subscriber /.subscribe!]
                               (list#= inputs listened))))
               (in (do async.monad
diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux
index e878f916f..2ecb4aaa2 100644
--- a/stdlib/source/test/lux/control/parser/binary.lux
+++ b/stdlib/source/test/lux/control/parser/binary.lux
@@ -25,7 +25,7 @@
       ["[1]" binary]]
      [collection
       ["[0]" list]
-      ["[0]" row]
+      ["[0]" sequence]
       ["[0]" set]]]
     [macro
      ["[0]" code]]
@@ -178,23 +178,23 @@
                 [/.text format.text]
                 )))))
 
-(def: row
+(def: sequence
   Test
   (`` ($_ _.and
           (~~ (template [<parser> <format>]
                 [(do [! random.monad]
-                   [expected (random.row ..segment_size random.nat)]
+                   [expected (random.sequence ..segment_size random.nat)]
                    (_.cover [<parser> <format>]
                             (|> expected
                                 (format.result (<format> format.nat))
                                 (/.result (<parser> /.nat))
                                 (!expect (^multi {try.#Success actual}
-                                                 (# (row.equivalence n.equivalence) = expected actual))))))]
+                                                 (# (sequence.equivalence n.equivalence) = expected actual))))))]
 
-                [/.row/8 format.row/8]
-                [/.row/16 format.row/16]
-                [/.row/32 format.row/32]
-                [/.row/64 format.row/64]
+                [/.sequence/8 format.sequence/8]
+                [/.sequence/16 format.sequence/16]
+                [/.sequence/32 format.sequence/32]
+                [/.sequence/64 format.sequence/64]
                 )))))
 
 (def: simple
@@ -384,7 +384,7 @@
               ..size
               ..binary
               ..utf8
-              ..row
+              ..sequence
               ..simple
               ..complex
               ))))
diff --git a/stdlib/source/test/lux/control/parser/json.lux b/stdlib/source/test/lux/control/parser/json.lux
index 04d52c647..23d319bec 100644
--- a/stdlib/source/test/lux/control/parser/json.lux
+++ b/stdlib/source/test/lux/control/parser/json.lux
@@ -17,7 +17,7 @@
       ["[0]" list ("[1]#[0]" functor)]
       ["[0]" set]
       ["[0]" dictionary]
-      ["[0]" row {"+" row} ("[1]#[0]" functor)]]
+      ["[0]" sequence {"+" sequence} ("[1]#[0]" functor)]]
      [format
       ["[0]" json]]]
     [math
@@ -105,20 +105,20 @@
                 [size (# ! each (n.% 10) random.nat)
                  expected (|> (random.unicode 1)
                               (random.list size)
-                              (# ! each row.of_list))]
+                              (# ! each sequence.of_list))]
                 (_.cover [/.array]
                          (|> (/.result (/.array (<>.some /.string))
-                                       {json.#Array (row#each (|>> {json.#String}) expected)})
+                                       {json.#Array (sequence#each (|>> {json.#String}) expected)})
                              (!expect (^multi {try.#Success actual}
-                                              (# (row.equivalence text.equivalence) = expected (row.of_list actual)))))))
+                                              (# (sequence.equivalence text.equivalence) = expected (sequence.of_list actual)))))))
               (do [! random.monad]
                 [expected (# ! each (|>> {json.#String}) (random.unicode 1))]
                 (_.cover [/.unconsumed_input]
-                         (|> (/.result (/.array /.any) {json.#Array (row expected expected)})
+                         (|> (/.result (/.array /.any) {json.#Array (sequence expected expected)})
                              (!expect (^multi {try.#Failure error}
                                               (exception.match? /.unconsumed_input error))))))
               (_.cover [/.empty_input]
-                       (|> (/.result (/.array /.any) {json.#Array (row)})
+                       (|> (/.result (/.array /.any) {json.#Array (sequence)})
                            (!expect (^multi {try.#Failure error}
                                             (exception.match? /.empty_input error)))))
               (do [! random.monad]
diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux
index e4caad8c8..94f884ba9 100644
--- a/stdlib/source/test/lux/data/collection.lux
+++ b/stdlib/source/test/lux/data/collection.lux
@@ -6,7 +6,7 @@
    ["[1][0]" array]
    ["[1][0]" bits]
    ["[1][0]" list]
-   ["[1][0]" row]
+   ["[1][0]" sequence]
    ["[1][0]" stream]
    ["[1][0]" stack]
    ["[1][0]" dictionary
@@ -58,7 +58,7 @@
       /array.test
       /bits.test
       /list.test
-      /row.test
+      /sequence.test
       /stream.test
       /stack.test
       ..dictionary
diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/sequence.lux
index 8728a6df9..6ecbab8ee 100644
--- a/stdlib/source/test/lux/data/collection/row.lux
+++ b/stdlib/source/test/lux/data/collection/sequence.lux
@@ -32,9 +32,9 @@
     [size (# ! each (n.% 100) random.nat)]
     ($_ _.and
         (_.for [/.equivalence]
-               ($equivalence.spec (/.equivalence n.equivalence) (random.row size random.nat)))
+               ($equivalence.spec (/.equivalence n.equivalence) (random.sequence size random.nat)))
         (_.for [/.monoid]
-               ($monoid.spec (/.equivalence n.equivalence) /.monoid (random.row size random.nat)))
+               ($monoid.spec (/.equivalence n.equivalence) /.monoid (random.sequence size random.nat)))
         (_.for [/.mix]
                ($mix.spec /#in /.equivalence /.mix))
         (_.for [/.functor]
@@ -132,7 +132,7 @@
 (def: .public test
   Test
   (<| (_.covering /._)
-      (_.for [/.Row])
+      (_.for [/.Sequence])
       (do [! random.monad]
         [size (# ! each (|>> (n.% 100) ++) random.nat)]
         ($_ _.and
@@ -151,9 +151,9 @@
                     [value/0 random.nat
                      value/1 random.nat
                      value/2 random.nat]
-                    (_.cover [/.row]
+                    (_.cover [/.sequence]
                              (/#= (/.of_list (list value/0 value/1 value/2))
-                                  (/.row value/0 value/1 value/2))))
+                                  (/.sequence value/0 value/1 value/2))))
                   (_.cover [/.member?]
                            (and (list.every? (/.member? n.equivalence sample)
                                              (/.list sample))
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 440ab1f07..9eb86e1c5 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -16,7 +16,7 @@
      ["[0]" text
       ["%" format {"+" format}]]
      [collection
-      ["[0]" row]
+      ["[0]" sequence]
       ["[0]" dictionary]
       ["[0]" set]
       ["[0]" list ("[1]#[0]" functor)]]]
@@ -42,7 +42,7 @@
            random.bit
            random.safe_frac
            (random.unicode size)
-           (random.row size again)
+           (random.sequence size again)
            (random.dictionary text.hash size (random.unicode size) again)
            )))))
 
@@ -147,16 +147,16 @@
                     [/.Boolean /.boolean_field /.#Boolean random.bit bit.equivalence]
                     [/.Number /.number_field /.#Number random.safe_frac frac.equivalence]
                     [/.String /.string_field /.#String (random.ascii/alpha 1) text.equivalence]
-                    [/.Array /.array_field /.#Array (random.row 3 ..random) (row.equivalence /.equivalence)]
+                    [/.Array /.array_field /.#Array (random.sequence 3 ..random) (sequence.equivalence /.equivalence)]
                     [/.Object /.object_field /.#Object (random.dictionary text.hash 3 (random.ascii/alpha 1) ..random) (dictionary.equivalence /.equivalence)]
                     ))
               (with_expansions [<boolean> (boolean)
                                 <number> (number)
                                 <string> (string)
-                                <array_row> (row.row {/.#Null}
-                                                     {/.#Boolean <boolean>}
-                                                     {/.#Number <number>}
-                                                     {/.#String <string>})
+                                <array_sequence> (sequence.sequence {/.#Null}
+                                                                    {/.#Boolean <boolean>}
+                                                                    {/.#Number <number>}
+                                                                    {/.#String <string>})
                                 <key0> (string)
                                 <key1> (string)
                                 <key2> (string)
@@ -173,7 +173,7 @@
                                     [/.#Number <number>]
                                     [/.#String <string>]
                                     ))
-                              (#= {/.#Array <array_row>} (/.json [() <boolean> <number> <string>]))
+                              (#= {/.#Array <array_sequence>} (/.json [() <boolean> <number> <string>]))
                               (let [object (/.json {<key0> ()
                                                            <key1> <boolean>
                                                            <key2> <number>
@@ -193,7 +193,7 @@
                                                (#= {/.#Boolean <boolean>} value1)
                                                (#= {/.#Number <number>} value2)
                                                (#= {/.#String <string>} value3)
-                                               (#= {/.#Array <array_row>} value4)
+                                               (#= {/.#Array <array_sequence>} value4)
                                                (#= {/.#Number <number>} value6))))))
                               )))
               ))))
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index e01670420..37be384ef 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -21,7 +21,7 @@
        ["[1]" set]
        ["[1]/[0]" block]]]
      [collection
-      ["[0]" row]
+      ["[0]" sequence]
       ["[0]" list ("[1]#[0]" mix)]]
      ["[0]" format "_"
       ["[1]" binary]]]
@@ -171,10 +171,10 @@
                   [(_.cover [<type>]
                             (|> (do try.monad
                                   [expected_path (/.path expected_path)
-                                   tar (|> (row.row {<tag> expected_path})
+                                   tar (|> (sequence.sequence {<tag> expected_path})
                                            (format.result /.writer)
                                            (<b>.result /.parser))]
-                                  (in (case (row.list tar)
+                                  (in (case (sequence.list tar)
                                         (^ (list {<tag> actual_path}))
                                         (text#= (/.from_path expected_path)
                                                 (/.from_path actual_path))
@@ -193,17 +193,17 @@
                                        (|> (do try.monad
                                              [expected_path (/.path expected_path)
                                               expected_content (/.content content)
-                                              tar (|> (row.row {<tag> [expected_path
-                                                                       expected_moment
-                                                                       /.none
-                                                                       [/.#user [/.#name /.anonymous
-                                                                                 /.#id /.no_id]
-                                                                        /.#group [/.#name /.anonymous
-                                                                                  /.#id /.no_id]]
-                                                                       expected_content]})
+                                              tar (|> (sequence.sequence {<tag> [expected_path
+                                                                                 expected_moment
+                                                                                 /.none
+                                                                                 [/.#user [/.#name /.anonymous
+                                                                                           /.#id /.no_id]
+                                                                                  /.#group [/.#name /.anonymous
+                                                                                            /.#id /.no_id]]
+                                                                                 expected_content]})
                                                       (format.result /.writer)
                                                       (<b>.result /.parser))]
-                                             (in (case (row.list tar)
+                                             (in (case (sequence.list tar)
                                                    (^ (list {<tag> [actual_path actual_moment actual_mode actual_ownership actual_content]}))
                                                    (let [seconds (: (-> Instant Int)
                                                                     (|>> instant.relative (duration.ticks duration.second)))]
@@ -251,17 +251,17 @@
                             (|> (do try.monad
                                   [path (/.path path)
                                    content (/.content (binary.empty 0))
-                                   tar (|> (row.row {/.#Normal [path
-                                                                (instant.of_millis +0)
-                                                                expected_mode
-                                                                [/.#user [/.#name /.anonymous
-                                                                          /.#id /.no_id]
-                                                                 /.#group [/.#name /.anonymous
-                                                                           /.#id /.no_id]]
-                                                                content]})
+                                   tar (|> (sequence.sequence {/.#Normal [path
+                                                                          (instant.of_millis +0)
+                                                                          expected_mode
+                                                                          [/.#user [/.#name /.anonymous
+                                                                                    /.#id /.no_id]
+                                                                           /.#group [/.#name /.anonymous
+                                                                                     /.#id /.no_id]]
+                                                                          content]})
                                            (format.result /.writer)
                                            (<b>.result /.parser))]
-                                  (in (case (row.list tar)
+                                  (in (case (sequence.list tar)
                                         (^ (list {/.#Normal [_ _ actual_mode _ _]}))
                                         (n.= (/.mode expected_mode)
                                              (/.mode actual_mode))
@@ -274,17 +274,17 @@
                                    (|> (do try.monad
                                          [path (/.path path)
                                           content (/.content (binary.empty 0))
-                                          tar (|> (row.row {/.#Normal [path
-                                                                       (instant.of_millis +0)
-                                                                       <expected_mode>
-                                                                       [/.#user [/.#name /.anonymous
-                                                                                 /.#id /.no_id]
-                                                                        /.#group [/.#name /.anonymous
-                                                                                  /.#id /.no_id]]
-                                                                       content]})
+                                          tar (|> (sequence.sequence {/.#Normal [path
+                                                                                 (instant.of_millis +0)
+                                                                                 <expected_mode>
+                                                                                 [/.#user [/.#name /.anonymous
+                                                                                           /.#id /.no_id]
+                                                                                  /.#group [/.#name /.anonymous
+                                                                                            /.#id /.no_id]]
+                                                                                 content]})
                                                   (format.result /.writer)
                                                   (<b>.result /.parser))]
-                                         (in (case (row.list tar)
+                                         (in (case (sequence.list tar)
                                                (^ (list {/.#Normal [_ _ actual_mode _ _]}))
                                                (n.= (/.mode <expected_mode>)
                                                     (/.mode actual_mode))
@@ -341,17 +341,17 @@
                               [path (/.path path)
                                content (/.content (binary.empty 0))
                                expected (/.name expected)
-                               tar (|> (row.row {/.#Normal [path
-                                                            (instant.of_millis +0)
-                                                            /.none
-                                                            [/.#user [/.#name expected
-                                                                      /.#id /.no_id]
-                                                             /.#group [/.#name /.anonymous
-                                                                       /.#id /.no_id]]
-                                                            content]})
+                               tar (|> (sequence.sequence {/.#Normal [path
+                                                                      (instant.of_millis +0)
+                                                                      /.none
+                                                                      [/.#user [/.#name expected
+                                                                                /.#id /.no_id]
+                                                                       /.#group [/.#name /.anonymous
+                                                                                 /.#id /.no_id]]
+                                                                      content]})
                                        (format.result /.writer)
                                        (<b>.result /.parser))]
-                              (in (case (row.list tar)
+                              (in (case (sequence.list tar)
                                     (^ (list {/.#Normal [_ _ _ actual_ownership _]}))
                                     (and (text#= (/.from_name expected)
                                                  (/.from_name (value@ [/.#user /.#name] actual_ownership)))
@@ -365,17 +365,17 @@
                         (|> (do try.monad
                               [path (/.path path)
                                content (/.content (binary.empty 0))
-                               tar (|> (row.row {/.#Normal [path
-                                                            (instant.of_millis +0)
-                                                            /.none
-                                                            [/.#user [/.#name /.anonymous
-                                                                      /.#id /.no_id]
-                                                             /.#group [/.#name /.anonymous
-                                                                       /.#id /.no_id]]
-                                                            content]})
+                               tar (|> (sequence.sequence {/.#Normal [path
+                                                                      (instant.of_millis +0)
+                                                                      /.none
+                                                                      [/.#user [/.#name /.anonymous
+                                                                                /.#id /.no_id]
+                                                                       /.#group [/.#name /.anonymous
+                                                                                 /.#id /.no_id]]
+                                                                      content]})
                                        (format.result /.writer)
                                        (<b>.result /.parser))]
-                              (in (case (row.list tar)
+                              (in (case (sequence.list tar)
                                     (^ (list {/.#Normal [_ _ _ actual_ownership _]}))
                                     (and (text#= (/.from_name /.anonymous)
                                                  (/.from_name (value@ [/.#user /.#name] actual_ownership)))
@@ -399,13 +399,13 @@
         [_ (in [])]
         ($_ _.and
             (_.cover [/.writer /.parser]
-                     (|> row.empty
+                     (|> sequence.empty
                          (format.result /.writer)
                          (<b>.result /.parser)
-                         (# try.monad each row.empty?)
+                         (# try.monad each sequence.empty?)
                          (try.else false)))
             (_.cover [/.invalid_end_of_archive]
-                     (let [dump (format.result /.writer row.empty)]
+                     (let [dump (format.result /.writer sequence.empty)]
                        (case (<b>.result /.parser (binary#composite dump dump))
                          {try.#Success _}
                          false
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux
index bf955b152..91a3f9c84 100644
--- a/stdlib/source/test/lux/extension.lux
+++ b/stdlib/source/test/lux/extension.lux
@@ -23,7 +23,7 @@
      ["[0]" text ("[1]#[0]" equivalence)
       ["%" format {"+" format}]]
      [collection
-      ["[0]" row]
+      ["[0]" sequence]
       ["[0]" list ("[1]#[0]" functor)]]]
     [math
      ["[0]" random]
@@ -84,7 +84,7 @@
 
       (generation: (..my_generation self phase archive [pass_through <synthesis>.any])
         (for [@.jvm
-              (# phase.monad each (|>> {jvm.#Embedded} row.row)
+              (# phase.monad each (|>> {jvm.#Embedded} sequence.sequence)
                  (phase archive pass_through))]
              (phase archive pass_through)))
 
@@ -97,7 +97,7 @@
       (generation: (..dummy_generation self phase archive [])
         (# phase.monad in
            (for [@.jvm
-                 (row.row {jvm.#Constant {jvm.#LDC {jvm.#String self}}})
+                 (sequence.sequence {jvm.#Constant {jvm.#LDC {jvm.#String self}}})
 
                  @.js (js.string self)
                  @.python (python.unicode self)
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux
index bdfc318a7..21da14fb5 100644
--- a/stdlib/source/test/lux/target/jvm.lux
+++ b/stdlib/source/test/lux/target/jvm.lux
@@ -21,7 +21,7 @@
      [collection
       ["[0]" array]
       ["[0]" dictionary]
-      ["[0]" row]
+      ["[0]" sequence]
       ["[0]" set]
       ["[0]" list ("[1]#[0]" functor)]]]
     [math
@@ -120,7 +120,7 @@
                                                            {.#Some (do /.monad
                                                                      [_ bytecode]
                                                                      /.areturn)}))
-                                     (row.row))
+                                     (sequence.sequence))
                  .let [bytecode (format.result /class.writer class)
                        loader (/loader.memory (/loader.new_library []))]
                  _ (/loader.define class_name bytecode loader)
@@ -855,8 +855,8 @@
                                       (/name.internal class_name)
                                       (/name.internal "java.lang.Object")
                                       (list)
-                                      (list (/field.field /field.static class_field /type.long (row.row))
-                                            (/field.field /field.public object_field /type.long (row.row)))
+                                      (list (/field.field /field.static class_field /type.long (sequence.sequence))
+                                            (/field.field /field.public object_field /type.long (sequence.sequence)))
                                       (list (/method.method /method.private
                                                             constructor
                                                             constructor::type
@@ -886,7 +886,7 @@
                                                                        _ /.ladd
                                                                        _ ..$Long::wrap]
                                                                       /.areturn)}))
-                                      (row.row))
+                                      (sequence.sequence))
                         try.trusted
                         (format.result /class.writer))
            loader (/loader.memory (/loader.new_library []))]]
@@ -1354,7 +1354,7 @@
                                                                                                       (substitute expected))
                                                                                                   _ (value@ #wrap primitive)]
                                                                                                  /.areturn)}))
-                                                                 (row.row))
+                                                                 (sequence.sequence))
                                              .let [bytecode (format.result /class.writer class)
                                                    loader (/loader.memory (/loader.new_library []))]
                                              _ (/loader.define class_name bytecode loader)
@@ -1634,7 +1634,7 @@
                                                 (list)
                                                 (list (/method.method ($_ /modifier#composite /method.public /method.abstract)
                                                                       interface_method method::type (list) {.#None}))
-                                                (row.row))
+                                                (sequence.sequence))
                                   try.trusted
                                   (format.result /class.writer))
            abstract_bytecode (|> (/class.class /version.v6_0 ($_ /modifier#composite /class.public /class.abstract)
@@ -1654,7 +1654,7 @@
                                                      (method overriden_method fake_part2)
                                                      (/method.method ($_ /modifier#composite /method.public /method.abstract)
                                                                      abstract_method method::type (list) {.#None}))
-                                               (row.row))
+                                               (sequence.sequence))
                                  try.trusted
                                  (format.result /class.writer))
            invoke (: (-> (Type Class) Text (Bytecode Any))
@@ -1701,7 +1701,7 @@
                                                                                 _ /.ladd
                                                                                 _ ..$Long::wrap]
                                                                                /.areturn)}))
-                                               (row.row))
+                                               (sequence.sequence))
                                  try.trusted
                                  (format.result /class.writer))
            loader (/loader.memory (/loader.new_library []))]]
diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux
index 4b028a9cc..cb9fcc14d 100644
--- a/stdlib/source/test/lux/type/poly/json.lux
+++ b/stdlib/source/test/lux/type/poly/json.lux
@@ -26,7 +26,7 @@
        [\\poly
         ["[0]" /]]]]
      [collection
-      [row {"+" row}]
+      [sequence {"+" sequence}]
       ["d" dictionary]
       ["[0]" list]]]
     [type