{-# LANGUAGE PolyKinds #-}

module T7272 where

import T7272a

class C (a :: k)