functor (T : Tag-> S_pp