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