9La chaleur
1Répondre
comparaison Runtime des types pour le levage des structures de données polymorphes dans GADTs