path: root/testsuite/tests/typecheck/should_compile/T17562b.hs

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE QuantifiedConstraints, MultiParamTypeClasses, TypeFamilies #-}
-- NB: No PolyKinds

module T17562b where

class (forall a. a b ~ a c) => C b c