path: root/testsuite/tests/rep-poly/RepPolyClassMethod.hs

{-# LANGUAGE DataKinds, StandaloneKindSignatures #-}

module RepPolyClassMethod where

import GHC.Exts

type C :: forall rep. TYPE rep -> Constraint
class C a where
  methC :: a