module T13068 where
import T13068a
class C a where
    f :: a