2
Le moderne versioni di GHC hanno qualche tipo di cancellazione della prova?
Supponiamo che io abbia un parametro che esiste solo a beneficio del sistema di tipi, ad esempio come in questo piccolo programma: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> …