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

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE TypeFamilies #-}
module T14048b where

import Data.Kind

data family Foo :: Constraint