1{-# LANGUAGE GADTs #-}
2
3data GADT a where
4  MyInt :: GADT Int
5  MyBool :: GADT Bool
6  MyVar :: GADT a
7
8
9test :: GADT Int -> GADT Bool
10test x = case x of
11
12