[TG] Revision up to coercions