{-# LANGUAGE TypeFamilies #-}

module T9167 where

class C a where
   type F b