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

import GHC.Prim( Constraint )

type family F a :: Constraint

class (F a) => C a where
