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

{-# LANGUAGE TypeFamilies, UndecidableSuperClasses #-}

module T19186 where

import Data.Kind

type family F a :: Constraint

class F a => C a