Die ursprüngliche Beschwerde über den lauten Nachbarn wurde abgewiesen, und die Abweichung indem Gerichtsverfahren konzentrierte sich auf die zulässige Lärmmenge, nicht auf das ursprüngliche Problemder Anwesenheit des Nachbarn.
Abhängig von der Varianz des Typkonstruktors kann die Subtyping-Relationder einfachen Typen für die jeweiligen komplexen Typen entweder erhalten, umgekehrt oder ignoriert werden.