diff --git a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
index 00f039d29373605df84d95e1d3bad3e154d9ffe4..a5c40f034a02411c8f52578d65f47470c28cf9d7 100644
--- a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
+++ b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
@@ -165,11 +165,11 @@ trait ASTExtractors {
     }
 
     object ExListLiteral {
-      def unapply(tree: Apply): Option[(Type, List[Tree])] = tree  match {
+      def unapply(tree: Apply): Option[(Tree, List[Tree])] = tree  match {
         case Apply(
               TypeApply(ExSelected("leon", "collection", "List", "apply"), tpe :: Nil),
               args) =>
-          Some((tpe.tpe, args))
+          Some((tpe, args))
         case _ =>
           None
       }
diff --git a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
index fee0e7e4b086987629df6500ff7b8295e504c3e4..1427ff10a6579a754baf2849f2785ff3214ddbc4 100644
--- a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
+++ b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
@@ -1384,7 +1384,7 @@ trait CodeExtraction extends ASTExtractors {
           ArrayUpdated(rar, rk, rv)
 
         case l @ ExListLiteral(tpe, elems) =>
-          val rtpe = extractType(l)
+          val rtpe = extractType(tpe)
           val cons = CaseClassType(libraryCaseClass(l.pos, "leon.collection.Cons"), Seq(rtpe));
           val nil  = CaseClassType(libraryCaseClass(l.pos, "leon.collection.Nil"),  Seq(rtpe));