{-# LANGUAGE PolyKinds, RoleAnnotations #-}

module T7272 where

class C (a :: k)