{-# LANGUAGE TypeFamilies #-}
module T5417a where

  class C1 a where
    data F a :: *