diff options
Diffstat (limited to 'testsuite/tests/deriving/should_compile/T11833.hs')
| -rw-r--r-- | testsuite/tests/deriving/should_compile/T11833.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/deriving/should_compile/T11833.hs b/testsuite/tests/deriving/should_compile/T11833.hs index 75d2a2d255..0097f54a30 100644 --- a/testsuite/tests/deriving/should_compile/T11833.hs +++ b/testsuite/tests/deriving/should_compile/T11833.hs @@ -2,8 +2,10 @@ {-# LANGUAGE PolyKinds #-} module T11833 where -class Category (cat :: k -> k -> *) 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 :: * -> * -> *) a b = MkT (c a b) deriving Category +newtype T (c :: Type -> Type -> Type) a b = MkT (c a b) deriving Category |