{-# LANGUAGE TypeFamilies #-}
module T2435Foo where
class C a where type T a