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