Escaping Type Variables

1
2
3
4
5
6
{-# LANGUAGE ExistentialQuantification #-}

data Foo = forall a. Foo {unFoo :: a}

main = print . unFoo $ Foo 1
-- main = putStrLn "Hello World" works