ExistentialQuantification
GHC
()使


使使mrsekut
{-# LANGUAGE ExistentialQuantification #-}
id :: forall a. a -> a
id a = a
mrsekut