start ::= <<ctor_name[T]>>

// output: T
