likely type inference now creates equivalence class of types.