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

{-# Language TypeApplications #-}
{-# Language TypeFamilies        #-}

module T15816 where
import Data.Kind

data family U
data instance U @Int