ExistentialQuantification
型に量化子を付けられるようにする
GHC拡張
殆どの場合(常に?)
存在型
を定義するために使う
こういう普通に全称量化の為に使用することもできるっちゃできるので、「存在型を使うための拡張」という説明が適当なのかわからない
mrsekut.icon
code:hs
{-# LANGUAGE ExistentialQuantification
#-}
id :: forall a. a -> a
id a = a
冗長になっているだけなので何も嬉しくないけど
mrsekut.icon