1{-# LANGUAGE GADTs #-}
2
3data Foo a where
4  Foo :: Foo Int
5
6foo :: Foo Bool -> ()
7foo x = case x of
8
9