diff --git a/prelude/DATS/gmap000.dats b/prelude/DATS/gmap000.dats
new file mode 100644
index 000000000..b918e1d99
--- /dev/null
+++ b/prelude/DATS/gmap000.dats
@@ -0,0 +1,64 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                         Applied Type System                         *)
+(*                                                                     *)
+(***********************************************************************)
+
+(*
+** ATS/Xanadu - Unleashing the Potential of Types!
+** Copyright (C) 2024 Hongwei Xi, ATS Trustful Software, Inc.
+** All rights reserved
+**
+** ATS is free software;  you can  redistribute it and/or modify it under
+** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
+** Free Software Foundation; either version 3, or (at  your  option)  any
+** later version.
+** 
+** ATS is distributed in the hope that it will be useful, but WITHOUT ANY
+** WARRANTY; without  even  the  implied  warranty  of MERCHANTABILITY or
+** FITNESS FOR A PARTICULAR PURPOSE.  See the  GNU General Public License
+** for more details.
+** 
+** You  should  have  received  a  copy of the GNU General Public License
+** along  with  ATS;  see the  file COPYING.  If not, please write to the
+** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
+** 02110-1301, USA.
+*)
+
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(*
+Author: Hongwei Xi
+(*
+Sun 08 Sep 2024 12:39:45 PM EDT
+*)
+Authoremail: gmhwxiATgmailDOTcom
+*)
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+#impltmp
+< xs:vt >
+< x0:vt >
+gmap_sep((*void*)) = ","
+#impltmp
+< xs:vt >
+< x0:vt >
+gseq_end((*void*)) = "}"
+#impltmp
+< xs:vt >
+< x0:vt >
+gseq_beg((*void*)) = "gmap{"
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****** ****** *)(* ****** ****** *)
+(* ****** ****** *)(* ****** ****** *)
+
+(* end of [ATS3/XANADU_prelude_DATS_gmap000.dats] *)
diff --git a/prelude/DATS/gseq000.dats b/prelude/DATS/gseq000.dats
index e09a167bb..c8a56969b 100644
--- a/prelude/DATS/gseq000.dats
+++ b/prelude/DATS/gseq000.dats
@@ -40,23 +40,23 @@ Authoremail: gmhwxiATgmailDOTcom
 (* ****** ****** *)
 //
 #impltmp
-< xs:t0 >
-< x0:t0 >
+< xs:vt >
+< x0:vt >
 gseq_sep((*void*)) = ","
 #impltmp
-< xs:t0 >
-< x0:t0 >
+< xs:vt >
+< x0:vt >
 gseq_end((*void*)) = ")"
 #impltmp
-< xs:t0 >
-< x0:t0 >
+< xs:vt >
+< x0:vt >
 gseq_beg((*void*)) = "gseq("
 //
 (* ****** ****** *)
 //
 #impltmp
-< xs:t0 >
-< x0:t0 >
+< xs:vt >
+< x0:vt >
 gseq_prlen((*void*)) = (-1)
 //
 (* ****** ****** *)