Geschlossene Typklassen
Ist es möglich, eine Typenklasse zu erstellen, die keine neuen Mitglieder mehr aufnehmen kann (möglicherweise mithilfe von Modulgrenzen)? Ich kann den Export einer für eine vollständige Instanzdefinition erforderlichen Funktion ablehnen, dies führt jedoch nur dann zu einem Laufzeitfehler, wenn jemand eine ungültige Instanz erstellt. Kann ich einen Fehler bei der Kompilierung machen?