{-# LANGUAGE ConstraintKinds #-}
module T14048a where

import Data.Kind

data Foo :: Constraint