Loose Type Correlations