testsuite/tests/saks/should_compile/saks035.hs


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

{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE DataKinds, PolyKinds, TypeFamilies #-}

module SAKS_035 where

import Data.Proxy
import Data.Kind

type C :: Proxy i -> Constraint
class C (a :: Proxy z) where
  -- F :: k -> Type
  type F z