higher-rank-types

5La chaleur

1Répondre

RankNTypes pour les déclarations d'instance?

J'ai récemment joué avec RankNTypes et je me demande s'il est possible de les utiliser dans les déclarations d'instance. Voici un exemple simple en utilisant des types de données ouvertes data (Expr a

haskell types type-systems higher-rank-types 2010-10-18

---