2
Apakah versi GHC modern memiliki penghapusan bukti?
Misalkan saya memiliki parameter yang hanya ada untuk kepentingan sistem tipe, misalnya seperti dalam program kecil ini: {-# 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 :: …