PureScriptで存在型を試す - Qiita

またまたたのしい誰得記事です。PureScript知ってる人向けです。 なんでも入る箱 Haskellにはどうやら存在量化(Existential Quantification)という言語拡張があって、以下のようなことができるようです。(参考: https://ja.wikibooks.org/wiki/Haskell/存在量化された型) -- 右辺にforallが書ける data ShowBox = forall s. Show s => SB s -- Showのインスタンスにする instance Show ShowBox where show (SB s) = show s -- showが呼べてしまう heteroList :: [ShowBox] heteroList = [ SB (), SB 5, SB True ] -- 異なる型をリストにまとめる main :: IO

[igrep]

実際Existential Quantificationあんまり使わないよなー。