diff --git a/eqwalizer/src/main/scala/com/whatsapp/eqwalizer/tc/Util.scala b/eqwalizer/src/main/scala/com/whatsapp/eqwalizer/tc/Util.scala
index 1b14c0e..80773ca 100644
--- a/eqwalizer/src/main/scala/com/whatsapp/eqwalizer/tc/Util.scala
+++ b/eqwalizer/src/main/scala/com/whatsapp/eqwalizer/tc/Util.scala
@@ -92,10 +92,13 @@ class Util(pipelineContext: PipelineContext) {
       case _ =>
     }
     val id = Id(remoteId.name, remoteId.arity)
-    def applyType(decl: TypeDecl): Type = {
-      val subst = decl.params.zip(args).map { case (VarType(n), ty) => n -> ty }.toMap
-      Subst.subst(subst, decl.body)
-    }
+    def applyType(decl: TypeDecl): Type =
+      if (id.arity == 0)
+        decl.body
+      else {
+        val subst = decl.params.zip(args).map { case (VarType(n), ty) => n -> ty }.toMap
+        Subst.subst(subst, decl.body)
+      }
 
     DbApi
       .getType(remoteId.module, id)