Type Applications 

Type applications are written by calling APPLYTYPE(typ|"C", ...) on a symbol or a tree:

scala> import treehugger.forest._, definitions._, treehuggerDSL._
import treehugger.forest._
import definitions._
import treehuggerDSL._

scala> val tree = REF("put") APPLYTYPE(IntClass) APPLY(LIT(0))
tree: treehugger.forest.Apply = Apply(TypeApply(Ident(put),List(TypeTree())),List(Literal(Constant(0))))

scala> treeToString(tree)
res0: String = put[Int](0)