This corresponds to existential quantification. In pseudo-Haskell, type NumberList = exists a . Num a => [a].
確定! 回上一頁