path: root/testsuite/tests/indexed-types/should_fail/OverDirectThisModA.hs

{-# LANGUAGE TypeFamilies #-}

module OverDirectThisModA (C, D)
where

import Data.Kind (Type)

data family C a b :: Type

type family D a b :: Type