Thread annotation type through GADT.