{-# LANGUAGE ExistentialQuantification #-}

data Foo = forall a. MkFoo a (a -> Bool)

data Bar = forall a b. (a + b) => Bar a b