2
क्या आधुनिक जीएचसी संस्करणों में किसी भी प्रकार का प्रमाण मिटाना है?
मान लीजिए कि मेरे पास एक पैरामीटर है जो केवल प्रकार प्रणाली के लाभ के लिए मौजूद है, उदाहरण के लिए इस छोटे से कार्यक्रम में: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> …