blob: c2051f678d3645f657a8ec2df11a7987cbd5d126 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
module T16731 where
import Data.Kind
class C (a :: Type) (b :: Type)
type T :: forall a. a -> Type
data T (x :: z) deriving (C z)
|
