2
У современных версий GHC есть какое-либо доказательство удаления?
Предположим, у меня есть параметр, который существует только для системы типов, например, как в этой маленькой программе: {-# 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 :: …