Classes de tipo fechadas
É possível criar um typeclass que não pode mais admitir novos membros (talvez usando limites de módulo)? Eu posso me recusar a exportar uma função necessária para uma definição de instância completa, mas isso só resulta em um erro de tempo de execução se alguém produzir uma instância inválida. Posso fazer um erro de tempo de compilação?