2
Modern GHC versiyonlarında herhangi bir kanıt silme işlemi var mı?
Örneğin, bu küçük programda olduğu gibi yalnızca tür sisteminin faydası için var olan bir parametreniz olduğunu varsayalım: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> Int) -> MyPoly listOfPolys :: …