2
¿Las versiones modernas de GHC tienen algún tipo de borrado de prueba?
Supongamos que tengo un parámetro que existe solo para el beneficio del sistema de tipos, por ejemplo, como en este pequeño programa: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> …