diff --git a/egison.cabal b/egison.cabal
--- a/egison.cabal
+++ b/egison.cabal
@@ -1,5 +1,5 @@
 Name:                egison
-Version:             2.3.1
+Version:             2.3.2
 Synopsis:            An Interpreter for the Programming Language Egison
 Description:         An interpreter for the programming language Egison.
                      A feature of Egison is the strong pattern match facility.
diff --git a/lib/core/collection.egi b/lib/core/collection.egi
--- a/lib/core/collection.egi
+++ b/lib/core/collection.egi
@@ -204,7 +204,7 @@
   (lambda [$a]
     (type
       {[,$val []
-        {[$tgt (match [val tgt] [(Multiset a) (Multiset a)]
+        {[$tgt (match [val tgt] [(List a) (Multiset a)]
                  {[[<nil> <nil>] {[]}]
                   [[<cons $x $xs> <cons ,x ,xs>] {[]}]
                   [[_ _] {}]})]}]
diff --git a/lib/core/number.egi b/lib/core/number.egi
--- a/lib/core/number.egi
+++ b/lib/core/number.egi
@@ -1,6 +1,7 @@
 (define $Integer
   (type
-    {[,$n []
+    {
+     [,$n []
       {[$tgt (if (eq-n? tgt n)
                  {[]}
                  {})]}]