path: root/testsuite/tests/indexed-types/should_compile/T12938.hs

{-# LANGUAGE PolyKinds, TypeFamilies #-}

module Bug where

import GHC.Exts

class HasRep a where
  type Rep a :: TYPE r