data B1 a = B1 a
data instance C.F (B1 a) = B2 a
data family D a
class C.C1 a where
  data family C.F a
  	-- Defined at T5417a.hs:5:10