Simplify types in HasNoSink and HasNoSource