diff --git a/core/descriptors/src/org/jetbrains/jet/lang/types/TypeConstructor.java b/core/descriptors/src/org/jetbrains/jet/lang/types/TypeConstructor.java
index c2530e166d2..a8a63713e44 100644
--- a/core/descriptors/src/org/jetbrains/jet/lang/types/TypeConstructor.java
+++ b/core/descriptors/src/org/jetbrains/jet/lang/types/TypeConstructor.java
@@ -34,6 +34,10 @@ public interface TypeConstructor extends Annotated {
 
     boolean isSealed();
 
+    /**
+     * If the type is non-denotable, it can't be written in code directly, it only can appear internally inside a type checker.
+     * Examples: intersection type or number value type.
+     */
     boolean isDenotable();
 
     @Nullable