packages feed

fourmolu-0.0.6.0: data/examples/declaration/data/existential.hs

{-# LANGUAGE ExistentialQuantification #-}

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

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