











Die ursprüngliche Beschwerde über den lauten Nachbarn wurde abgewiesen, und die Abweichung in dem Gerichtsverfahren konzentrierte sich auf die zulässige Lärmmenge, nicht auf das ursprüngliche Problem der Anwesenheit des Nachbarn.



Abhängig von der Varianz des Typkonstruktors kann die Subtyping-Relation der einfachen Typen für die jeweiligen komplexen Typen entweder erhalten, umgekehrt oder ignoriert werden.