haskell-src-exts-1.24.0: tests/examples/QuantifiedConstraints.hs

{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE QuantifiedConstraints #-}

class (forall a. Eq (f a)) => C f