Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7341.hs
1 {-# LANGUAGE KindSignatures, TypeFamilies, PolyKinds, FlexibleInstances #-}
2
3 module T7341 where
4
5 data Proxy a = Proxy
6
7 class C a where
8 type F (a :: *) :: *
9 op :: Proxy a -> Int
10
11 instance C [] where
12 op _ = 5