Vì nhà cậu học sinh đó ở rất gần trường nhưng lại nằm ngoài khu vực đi bộ thông thường, cậu ấy cần giấy phép đặc biệt để được phép đi xe đạp đến trường.
Sau khi thẩm phán phán quyết rằng cáo buộc ban đầu quá mơ hồ, luật sư đã đưa ra một sự thay đổi so với đơn kiện ban đầu, bổ sung thêm một cáo buộc cụ thể hơn về sự tắc trách vào đơn kiện.
Tùy thuộc vào biến thể của hàm tạo kiểu, quan hệ kiểu con của các kiể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 phức tạp tương ứng.