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