testsuite/tests/saks/should_compile/saks004.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE MultiParamTypeClasses, PolyKinds, ConstraintKinds #-}

module SAKS_004 where

import Data.Kind (Type, Constraint)

type C :: (k -> Type) -> k -> Constraint
class C a b where
  f :: a b