blob: e81e454d31b2ea996f7efef657a1a1169a70c66e (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
module T14048c where
import Data.Kind
data family Foo :: k
data instance Foo :: Constraint
|