blob: 0097f54a304a84e613aee46222c19f673d4fa7e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE PolyKinds #-}
module T11833 where
import Data.Kind (Type)
class Category (cat :: k -> k -> Type) where
catId :: cat a a
catComp :: cat b c -> cat a b -> cat a c
newtype T (c :: Type -> Type -> Type) a b = MkT (c a b) deriving Category
|
