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

{-# LANGUAGE TypeFamilies #-}

module OverB
where
import OverA (C, D)

data instance C [Int] [a] = CListList2

type instance D [Int] [a] = Int