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 …