blob: bd888b3bac1c76a29595682bd0251ebcc13e5033 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ExistentialQuantification #-}
module Main where
data Some = forall a. Some a
Some @a x = Some (5 :: Integer)
main = do
print (x :: a)
|