3La chaleur
1Répondre
Déconstruire un GADT: Où est-ce que je perds le contexte?
4La chaleur
1Répondre
Motif de correspondance sur GADT
5La chaleur
1Répondre
Exemple d'application pour (Monad m, Monoid o) => m o?
13La chaleur
1Répondre
ce GADT a-t-il réellement un rôle de représentation de type
3La chaleur
3Répondre
Comment puis-je éviter les implémentations multi-fonctions avec GADT?