testsuite/tests/saks/should_compile/saks034.hs


1
2
3
4
5
6
7
8
9
10
11

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

module SAKS_034 where

import Data.Kind

type C :: j -> Constraint
class C (a :: k) where
  -- T :: forall j -> j -> Type
  type T k (b :: k) :: Type