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

{-# LANGUAGE TypeFamilies #-}

module OverC
where
import OverA (C, D)

data instance C [a] [Int] = C9ListList

type instance D [a] [Int] = Char