1 2 3 4 5 6 7
{-# LANGUAGE TypeFamilies #-} -- Test for no type indices module T2888 where class C w where data D:: * -> *