1{-# LANGUAGE GADTs #-}
2
3data Foo where
4        Foo :: Int -> Foo
5    deriving (Eq, Ord, Typeable)
6