blob: 88d7c3f37633173ad45012362407fbd9ac10e14d (
plain)
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
|