path: root/testsuite/tests/typecheck/should_fail/tcfail213.hs

{-# LANGUAGE TypeFamilies, ConstraintKinds #-}
module ShouldFail where

import GHC.Exts( Constraint )

type family F a :: Constraint

class (F a) => C a where