2
Les versions GHC modernes ont-elles une sorte d'effacement de preuve?
Supposons que j'ai un paramètre qui existe uniquement pour le bénéfice du système de type, par exemple comme dans ce petit programme: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> …