Increasing type independence