Type Applications

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

REF("put") APPLYTYPE(IntClass) APPLY(LIT(0))

This prints as:

put[Int](0)