     applyKindFn (applyKindFn fn, arg), args...
 
 isConstructor = (type) ->
-  (kind type) instanceof KindFn
+  type instanceof TypeApp
 
 kind = (type) ->
   if type.kind

setToArray = (set) ->
  key for key of set.values

cloneSet = (set) ->
  clone = newSet()
  addAllToSet clone, setToArray set

    arg.tea = ctx.freshTypeVariable star

  # Typing operator like inside a known call
  precsForData = operatorCompile ctx, call

  # Gets the general type as if the extra arguments were supplied
  callTyping ctx, call

  combinePatterns join precsForData, compiledArgs

jsObjectAccess = (fieldName) ->
  if (validIdentifier fieldName) is fieldName
