The node you are looking for is at Syntax and semantics of type specialization pragmas.