1{-# LANGUAGE ExistentialQuantification #-} 2 3data Foo = forall a. MkFoo a (a -> Bool) 4 5data Bar = forall a b. a + b => Bar a b 6