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

{-# LANGUAGE PolyKinds, GADTs #-}

module T7328 where

data Proxy a

class Foo a where
    foo :: a ~ f i => Proxy (Foo f)