1 2 3 4 5 6 7 8 9
{-# LANGUAGE TypeFamilies #-} -- Test Trac #2851 module T2851 where type family F a :: * data D a = D (F a) deriving (Show)