     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]


      lhsCompiled)
    elemType = ctx.freshTypeVariable star
    # TODO use (Seq c e) instead of (Array e)
    form.tea = new Constrained (concatMap _constraints, (map _tea, elems)),
      new TypeApp arrayType, elemType

    for elem in elems
