     formatString = formatString[matched.length...]
   if args.length > types.length
     malformed call, "Too many arguments to format"
-  call.tea = toConstrained stringType
-  compiledArgs = termsCompile ctx, args
   # TODO: curry
   formattedArgs = for {type, symbol, prefix}, i in types when args[i]
     compiled = compiledArgs[i]


# AST accessors

_operator = (call) ->
  (_terms call)[0]


  # TODO: should we support bare records?
  #   [a: 2 b: 3]
  if not ctx.shouldDefer()
    form.tea = tupleOfTypes map _tea, elems

  if ctx.assignTo()
    combinePatterns compiledElems
