¿Es posible crear una clase de tipos que ya no pueda admitir nuevos miembros (quizás utilizando límites de módulo)? Puedo negarme a exportar una función necesaria para una definición de instancia completa, pero eso solo produce un error de tiempo de ejecución si alguien produce una instancia no válida. ¿Puedo hacer que sea un error de compilación?