 
   # Typing operator like inside a known call
   for arg in args when isExtra arg
-    arg.tea = ctx.freshTypeVariable star
+    arg.tea = toConstrained ctx.freshTypeVariable star
 
   precsForData = operatorCompile ctx, call
 

  for [name, source, expression, result] in tuplize 4, tests
    test source + " " + expression, result
  "Finished"
# end of tests
      (@_deferReasonOf definition) or [expression, dependencyName]

  deferReason: ->
    @_deferReasonOf @_deferrableDefinition()

  shouldDefer: ->
    !!(@_deferReasonOf @_deferrableDefinition())

  _deferReasonOf: (definition) ->
    definition?._defer
