diff --git a/core/src/main/scala/org/bykn/bosatsu/rankn/Infer.scala b/core/src/main/scala/org/bykn/bosatsu/rankn/Infer.scala
index c6a1a4e2..58b86250 100644
--- a/core/src/main/scala/org/bykn/bosatsu/rankn/Infer.scala
+++ b/core/src/main/scala/org/bykn/bosatsu/rankn/Infer.scala
@@ -184,7 +184,7 @@ object Infer {
     ) extends TypeError
     case class KindExpectedType(
       tpe: Type,
-      kind: Kind,
+      kind: Kind.Cons,
       region: Region
     ) extends TypeError
     case class KindMismatch(