path: root/testsuite/tests/th/T14817.hs

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module T14817 where

import Data.Kind (Type)

$([d| data family Foo :: Type
      data instance Foo :: Type |])