Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7328.hs
1 {-# LANGUAGE PolyKinds, GADTs, AllowAmbiguousTypes #-}
2
3 module T7328 where
4
5 data Proxy a
6
7 class Foo a where
8 foo :: a ~ f i => Proxy (Foo f)