TATTICHE
+ - generazione di principi di co-induzione per co-induttivi
- ARGOMENTI IMPLICIT: li vogliamo? come? come disabilitarli localmente?
- in generale: invece di spiegare gli errori nel momento in cui si sollevano
le eccezioni, farlo quando vengono presentate all'utente. Motivo: il calcolo