I think Sink<P, ?, T> and invariant everywhere.