testsuite/tests/polykinds/T7601.hs


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

{-# LANGUAGE PolyKinds              #-}
{-# LANGUAGE TypeFamilies           #-}

module T7601 where

import Data.Kind

class C (a :: k) where
   type F (a :: k)

class Category (c :: k -> k -> Type) where
   type Ob c :: k -> Constraint