Updated Tainted<T> proposal