1 2 3 4 5 6 7 8 9
{-# LANGUAGE TypeFamilies #-} module OverC where import OverA (C, D) data instance C [a] [Int] = C9ListList type instance D [a] [Int] = Char