2
Các phiên bản GHC hiện đại có loại tẩy bằng chứng nào không?
Giả sử tôi có một tham số chỉ tồn tại vì lợi ích của hệ thống loại, ví dụ như trong chương trình nhỏ này: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a …