1 2 3 4 5 6 7
{-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE TypeFamilies #-} module T14048b where import Data.Kind data family Foo :: Constraint