TF-ом называют очень широкий набор техник. F[_] в интерфейсах - это TF, GADT - это тоже TF, Вот эти упражнения по построению AST типизированным кодом: http://okmij.org/ftp/tagless-final/course/lecture.pdf Вообще считается определением TF, хотя совсем не похоже на то, что под TF понимают в скале.