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

          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"


class KindFn
  constructor: (@from, @to) ->
class TempKind
  constructor: ->

class TypeVariable
  constructor: (@name, @kind) ->
