Existentially quantified data constructors. The idea of using existential quantification in data type declarations was suggested by Perry, and implemented in ...
確定! 回上一頁