path: root/testsuite/tests/polykinds/T7272.hs

{-# LANGUAGE PolyKinds #-}

module T7272 where

import T7272a

class C (a :: k)