testsuite/tests/polykinds/T7341.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE KindSignatures, TypeFamilies, PolyKinds #-}

module T7341 where

data Proxy a = Proxy

class C a where
  type F (a :: *) :: *
  op :: Proxy a -> Int

instance C [] where
  op _ = 5