











Đơn kiện ban đầu về người hàng xóm ồn ào đã bị bác bỏ, và sự sai lệch trong vụ kiện tại tòa tập trung vào mức độ tiếng ồn được cho phép, chứ không phải vấn đề ban đầu là sự hiện diện của người hàng xóm.



Tùy thuộc vào phương sai (tính hiệp phương sai và nghịch phương sai) của hàm tạo kiểu dữ liệu, quan hệ kiểu con của các kiểu dữ liệu đơn giản có thể được bảo toàn, đảo ngược, hoặc bỏ qua đối với các kiểu dữ liệu phức tạp tương ứng.