 
 class KindFn
   constructor: (@from, @to) ->
+class TempKind
+  constructor: ->
 
 class TypeVariable
   constructor: (@name, @kind) ->

          ctx.kindOfTypeName atom.symbol
        else
          expectedKind or star
      if not kindOfType
        # throw new Error "type name #{atom.symbol} was not defined" unless kind
        malformed atom, "This type name has not been defined"

    else
      expanded
  finalKind = kind type
  if expectedKind instanceof KindFn
    labelOperator atom
  else
    atom.label = 'typename'
