testsuite/tests/quantified-constraints/T15334.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE MultiParamTypeClasses, PolyKinds, QuantifiedConstraints, RankNTypes #-}

module T15334 where

class C m a
class D m a

f :: (forall a. Eq a => (C m a, D m a)) => m a
f = undefined